2018-01-29 16:25:54 +01:00
|
|
|
# Make sure we include this file only once
|
2019-07-25 16:35:42 +02:00
|
|
|
if [ -z $LOCAL_BIN_ALREADY_SET ];
|
2018-01-29 16:25:54 +01:00
|
|
|
then
|
2019-07-25 16:35:42 +02:00
|
|
|
export LOCAL_BIN_ALREADY_SET=1
|
2018-01-29 16:25:54 +01: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
|
