From a98e149ad115bfba211a3e81f9975d89af43daef Mon Sep 17 00:00:00 2001 From: David JULIEN Date: Tue, 12 Oct 2021 13:05:10 +0200 Subject: [PATCH] feat: make opam more XDG_USER_DIR compliant $OPAMROOT contains both config and data, so it's not perfect... still better than having it in ~/ tho ! --- .config/zsh/.zprofile | 2 ++ .config/zsh/.zshrc | 3 +++ 2 files changed, 5 insertions(+) diff --git a/.config/zsh/.zprofile b/.config/zsh/.zprofile index 043d577..e8160f0 100644 --- a/.config/zsh/.zprofile +++ b/.config/zsh/.zprofile @@ -19,6 +19,8 @@ export ANDROID_PREFS_ROOT="$XDG_CONFIG_HOME/android" export GTK2_RC_FILES="$XDG_CONFIG_HOME/gtk-2.0/gtkrc-2.0" export TEXMFHOME="$XDG_DATA_HOME/texmf" export CARGO_HOME="$XDG_DATA_HOME/cargo" +export OPAMROOT="$XDG_DATA_HOME/opam" +export COQBIN="$OPAMROOT/default/bin" ## default programs export SUDO_ASKPASS="$HOME/.local/bin/dmenupass" diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index 277119e..7588c43 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -78,3 +78,6 @@ typeset -A ZSH_HIGHLIGHT_STYLES ZSH_HIGHLIGHT_STYLES[alias]='fg=green,bold' ZSH_HIGHLIGHT_STYLES[path]='fg=magenta,bold' ZSH_HIGHLIGHT_STYLES[unknown-token]='bg=red,fg=white,bold' + +# opam configuration +test -r "$OPAMROOT/opam-init/init.zsh" && . "$OPAMROOT/opam-init/init.zsh" > /dev/null 2> /dev/null || true