diff --git a/home/.config/shell/environment b/home/.config/shell/environment index 8901598..158a86d 100755 --- a/home/.config/shell/environment +++ b/home/.config/shell/environment @@ -104,6 +104,7 @@ export OMNISHARPHOME="$XDG_CONFIG_HOME"/omnisharp export PSQL_HISTORY="$XDG_STATE_HOME/psql_history" export ANSIBLE_HOME="$XDG_DATA_HOME"/ansible export MINIKUBE_HOME="$XDG_DATA_HOME/minikube" +export LEIN_HOME="$XDG_DATA_HOME"/lein # Theming export GTK_THEME="Tokyonight-Dark" diff --git a/home/.local/share/lein/profiles.clj b/home/.local/share/lein/profiles.clj new file mode 100644 index 0000000..f4633b5 --- /dev/null +++ b/home/.local/share/lein/profiles.clj @@ -0,0 +1,4 @@ +{:user {:local-repo #=(eval (str (System/getenv "XDG_CACHE_HOME") "/m2")) + :repositories {"local" {:url #=(eval (str "file://" (System/getenv "XDG_DATA_HOME") "/m2")) + :releases {:checksum :ignore}}} + }} diff --git a/install_gui.sh b/install_gui.sh index 1b29a36..719c0aa 100755 --- a/install_gui.sh +++ b/install_gui.sh @@ -24,6 +24,7 @@ mkdir -p ~/.cache/nv cp -ra home/.config/wget ~/.config mkdir -p ~/.config/gtk-2.0 touch ~/.config/gtk-2.0/gtkrc +cp -ra home/.local/share/lein ~/.local/share # DE configs (core apps/tools that make up the base graphical experience) cp -ra home/.config/xdg-desktop-portal ~/.config