.bash_profile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#
# getchoo's bash_profile
#


# add user's bin directory to path
if [ -d "$HOME/.local/bin" ]
then
        export PATH="$HOME/.local/bin:$PATH"
fi

source "$HOME/.config/shell/profile"

#if [[ $(ps --no-header --pid=$PPID --format=comm) != "fish" && -z ${BASH_EXECUTION_STRING} ]]
#then
#	exec fish
#fi