commit ee12fb2a9286be0958028d948d9dd8bb7dfce33d parent 41819f27c61a3f82bc29d761494499a12b483f7e Author: Robert Russell <robert@rr3.xyz> Date: Mon, 5 May 2025 13:20:36 -0700 Make references to home directory in .profile more robust Diffstat:
| M | .profile | | | 9 | ++++----- |
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/.profile b/.profile @@ -1,11 +1,11 @@ export EDITOR=vis export BROWSER=firefox export PAGER=less -export PDFVIEWER=zathura -export PATH="$PATH:/home/rob/.local/bin:/home/rob/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:/home/rob/.elan/bin:/home/rob/go/bin" +export PDFVIEWER=firefox +export PATH="$PATH:$HOME/.local/bin:$HOME/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:$HOME/.elan/bin:$HOME/go/bin" export PATSHOME="/opt/ats2/lib/ats2-postiats-0.4.2" # opam configuration -test -r /home/rob/.opam/opam-init/init.sh && . /home/rob/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true +test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true -[ -f "/home/rob/.ghcup/env" ] && . "/home/rob/.ghcup/env" # ghcup-env -\ No newline at end of file +[ -f "$HOME/.ghcup/env" ] && . "$HOME/.ghcup/env" # ghcup-env