diff options
Diffstat (limited to 'bash_profile')
| -rw-r--r-- | bash_profile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/bash_profile b/bash_profile new file mode 100644 index 0000000..05b61f8 --- /dev/null +++ b/bash_profile @@ -0,0 +1,26 @@ +# This file is sourced by bash for login shells. The following line +# runs your .bashrc and is recommended by the bash info pages. +if [[ -f ~/.bashrc ]] ; then + . ~/.bashrc +fi + +if [ -d ~/.ghcup/bin ]; then + export PATH=~/.ghcup/bin:$PATH +fi + +if [ -d ~/.cabal/bin ]; then + export PATH=~/.cabal/bin:$PATH +fi + +if [ -d ~/.cargo/bin ]; then + export PATH=~/.cargo/bin:$PATH +fi + +if [ -d ~/.mcabal/bin ]; then + export PATH=~/.mcabal/bin:$PATH +fi + +if [ -d ~/.local/bin ]; then + export PATH=~/.local/bin:$PATH +fi + |