2021-12-11 11:49:53 +01:00
|
|
|
#! /bin/zsh
|
2018-01-29 16:25:54 +01:00
|
|
|
# Make sure we include this file only once
|
2021-12-11 11:49:53 +01:00
|
|
|
if [ -z "$ZSH_LOCAL_BIN_ALREADY_SET" ];
|
2018-01-29 16:25:54 +01:00
|
|
|
then
|
2021-01-28 07:15:37 +01:00
|
|
|
export ZSH_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
|