dotfiles

My personal shell configs and stuff
git clone git://git.alex.balgavy.eu/dotfiles.git
Log | Files | Refs | Submodules | README | LICENSE
commit 13829eaba7bab1f64cc22f1103389fad1126e739
parent 4f132815fbb59299cee299a59888019cf02a6bca
Author: Alex Balgavy <a.balgavy@gmail.com>
Date:   Mon, 10 Feb 2020 12:50:30 +0100

profile: conditionally add GNAT to path

Former-commit-id: 93364682d806aebdc1328cbf8be0a7cc3d0a8cd1
Diffstat:

Mshell/profile | 3+++


1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/shell/profile b/shell/profile
@@ -50,6 +50,9 @@ 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"
+fi
 
 export DOTFILES="$HOME/.dotfiles"
 export EDITOR="`which vim`"