zsh/local-bin.zsh

10 lines
375 B
Bash
Raw Normal View History

2018-01-29 16:25:54 +01:00
# Make sure we include this file only once
if [ -z $LOCAL_BIN_ALREADY_SET ];
2018-01-29 16:25:54 +01:00
then
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"
2020-06-29 10:55:58 +02:00
[ -d "/usr/lib/ccache" ] && PATH="/usr/lib/ccache:$PATH"
2018-01-29 16:25:54 +01:00
fi