From f0ce0a249d59f036b69a7bd54dda66ed96d7be26 Mon Sep 17 00:00:00 2001
From: ItsDrike <itsdrike@protonmail.com>
Date: Wed, 2 Aug 2023 01:49:08 +0200
Subject: [PATCH] Move .pki to data home (.local/share), not config

---
 home/{.config => .local/share}/pki/.keep | 0
 home/.pki                                | 2 +-
 install_gui.sh                           | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename home/{.config => .local/share}/pki/.keep (100%)

diff --git a/home/.config/pki/.keep b/home/.local/share/pki/.keep
similarity index 100%
rename from home/.config/pki/.keep
rename to home/.local/share/pki/.keep
diff --git a/home/.pki b/home/.pki
index 2aacf8b..bbc6e6a 120000
--- a/home/.pki
+++ b/home/.pki
@@ -1 +1 @@
-.config/pki
\ No newline at end of file
+.local/share/pki
\ No newline at end of file
diff --git a/install_gui.sh b/install_gui.sh
index d230b75..55a4709 100755
--- a/install_gui.sh
+++ b/install_gui.sh
@@ -17,7 +17,7 @@ pushd "$(dirname "$0")"
 
 # Copy over various settings
 cp -a home/.pki ~ # symlink
-mkdir -p ~/.confg/pki
+mkdir -p ~/.local/share/pki
 cp -a home/.mozilla ~ # symlink
 mkdir -p ~/.config/mozilla
 mkdir -p ~/.config/nv