2019-07-25 16:34:11 +02:00
|
|
|
# Make sure we include this file only once
|
2019-07-25 16:37:40 +02:00
|
|
|
if [ -z $LOCAL_BIN_ALREADY_SET ];
|
2019-07-25 16:34:11 +02:00
|
|
|
then
|
2019-07-25 16:37:40 +02:00
|
|
|
export LOCAL_BIN_ALREADY_SET=1
|
2019-07-25 16:34:11 +02:00
|
|
|
# set PATH so it includes user's private bin if it exists
|
|
|
|
[ -d "$HOME/.local/bin" ] && PATH="$HOME/.local/bin:$PATH"
|
|
|
|
[ -d "$HOME/bin" ] && PATH="$HOME/bin:$PATH"
|
|
|
|
fi
|