dotfiles

dot files
git clone git://git.rr3.xyz/dotfiles
Log | Files | Refs

.profile (461B)

      1 export EDITOR=vis
      2 export BROWSER=firefox
      3 export PAGER=less
      4 export PDFVIEWER=firefox
      5 export PATH="$PATH:$HOME/.local/bin:$HOME/.cabal/bin:/opt/ats2/bin:/opt/idris2/bin:$HOME/.elan/bin:$HOME/go/bin"
      6 export PATSHOME="/opt/ats2/lib/ats2-postiats-0.4.2"
      7 
      8 # opam configuration
      9 test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
     10 
     11 [ -f "$HOME/.ghcup/env" ] && . "$HOME/.ghcup/env" # ghcup-env
     12 . "$HOME/.cargo/env"