Update 'profile'

This commit is contained in:
dany 2022-08-22 12:49:21 +02:00
parent 4f148679f8
commit 091ebf17bb
1 changed files with 4 additions and 0 deletions

View File

@ -1,3 +1,7 @@
# unset variable if exists
unset ANTOS_USER
unset ANTOS_PASSWORD
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
export PATH="$HOME/bin:$PATH"