commit 7ff15e0c7a667063f375f6e0d943f3ef7c406821
parent 7f76b84ab2a492b2baf5b0fe8c7200563fbb517d
Author: Alex Balgavy <alex@balgavy.eu>
Date: Sun, 3 Dec 2023 13:38:27 +0100
shell: fix a path
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/shell/paths b/shell/paths
@@ -9,7 +9,7 @@
[ -d "$HOME/.local/gnat/bin" ] || [ -L "$HOME/.local/gnat/bin" ] && [ -n "${PATH##*"$HOME/.local/gnat/bin"*}" ] && PATH="$HOME/.local/gnat/bin:$PATH"
[ -d "$HOME/bin" ] || [ -L "$HOME/bin" ] && [ -n "${PATH##*"$HOME/bin"*}" ] && PATH="$HOME/bin:$PATH"
[ -d "$HOME/.bin" ] || [ -L "$HOME/.bin" ] && [ -n "${PATH##*"$HOME/.bin"*}" ] && PATH="$HOME/.bin:$PATH"
-[ -d "$HOME/Documents/dotfiles/scripts" ] || [ -L "$HOME/Documents/dotfiles/scripts" ] && [ -n "${PATH##*"$HOME/Documents/dotfiles/scripts"*}" ] && PATH="$HOME/Documents/dotfiles/scripts:$PATH"
+[ -d "$DOTFILES/scripts" ] || [ -L "$DOTFILES/scripts" ] && [ -n "${PATH##*"$DOTFILES/scripts"*}" ] && PATH="$DOTFILES/scripts:$PATH"
[ -d "$XDG_DATA_HOME/gem/bin" ] || [ -L "$XDG_DATA_HOME/gem/bin" ] && [ -n "${PATH##*"$XDG_DATA_HOME/gem/bin"*}" ] && PATH="$XDG_DATA_HOME/gem/bin:$PATH"
[ -d "$HOME/.elan/bin" ] && [ -n "${PATH##*"$HOME/.elan/bin"*}" ] && PATH="$HOME/.elan/bin:$PATH"
[ -d /usr/local/opt/man-db/libexec/bin ] && [ -n "${PATH##*"/usr/local/opt/man-db/libexec/bin"*}" ] && PATH="/usr/local/opt/man-db/libexec/bin:$PATH"