=Housekeeping + docker stuff

This commit is contained in:
Gal Szkolnik 2022-08-26 14:30:33 -04:00
parent 9dbfb53327
commit 07a1eff21d
4 changed files with 38 additions and 9 deletions

View file

@ -0,0 +1,18 @@
get_clean_path() {
sed 's/ *:\?$//g;s/`/``/g;s/:/`:`/g;s/\\`:`/\\:/g;' <<< $1 | \
awk -v RS='`:`' -v ORS='`:`' '!arr[$0]++' | \
sed 's/`:`/:/g;s/:$//g'
}
# set PATH so it includes user's private bin if it exists
if [[ -d "$HOME/bin" ]] ; then
export PATH="$HOME/bin:$PATH"
fi
# set PATH so it includes user's private bin if it exists
if [[ -d "$HOME/.local/bin" ]] ; then
export PATH="$HOME/.local/bin:$PATH"
fi
PATH=$( get_clean_path $PATH )