dotfiles

commit 04807a858c1a5f456034559944108f7dd18276be
parent 7a1904d20dcca0bb55b53fd3694eded6608db4a4
Author: Alex Balgavy <a.balgavy@gmail.com>
Date:   Sat, 22 Feb 2020 16:12:35 -0500

profile: change GNAT path

Former-commit-id: fb99c2972354dfd03de84ab6e02f64ad66d4bfd8
Diffstat:
M
shell/profile
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/shell/profile b/shell/profile
@@ -54,8 +54,8 @@ fi
 if [ -d "/usr/local/opt/gnu-sed/libexec/gnubin" ]; then
   PATH="/usr/local/opt/gnu-sed/libexec/gnubin:$PATH"
 fi
-if [ -d "$HOME/.local/GNAT/2019/bin" ]; then
-  PATH="$PATH:$HOME/.local/GNAT/2019/bin"
+if [ -d "$HOME/.local/gnat/bin" ]; then
+  PATH="$PATH:$HOME/.local/gnat/bin"
 fi
 
 export DOTFILES="$HOME/.dotfiles"