# set PATH so it includes user's private bin if it exists
if [ -d "/opt/bin" ] ; then
PATH="/opt/bin:$PATH"
fi