config/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
27
28
29
30
31
32
33
34
35
36
37
38
39

# This file is sourced by bash for login shells.  The following line
# runs your .bashrc and is recommended by the bash info pages.

# Ensure XDG_RUNTIME_DIR is set
if test -z "$XDG_RUNTIME_DIR"; then
    export XDG_RUNTIME_DIR=$(mktemp -d /tmp/$(id -u)-runtime-dir.XXX)
fi

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/musl/bin ]; then
    export PATH=~/.local/musl/bin:$PATH
fi

if [ -d ~/.local/bin ]; then
    export PATH=~/.local/bin:$PATH
fi

if [ -d /usr/local/lib/pkgconfig ]; then
    export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH
fi