2015-11-17 11:07:59 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
###
|
|
|
|
|
# set PATH so it includes user's private bin if it exists
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
if [ -d "$HOME/bin" ] ; then
|
|
|
|
|
export PATH="$HOME/bin:$PATH"
|
|
|
|
|
fi
|
|
|
|
|
|
2021-12-31 11:58:18 +00:00
|
|
|
if [ -d "$HOME/.local/bin" ] ; then
|
|
|
|
|
export PATH="$HOME/.local/bin:$PATH"
|
|
|
|
|
fi
|
