bash_profile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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