diff options
Diffstat (limited to 'examples/startup-files/Bash_profile')
| -rw-r--r-- | examples/startup-files/Bash_profile | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/examples/startup-files/Bash_profile b/examples/startup-files/Bash_profile index b1b24c0..141e8df 100644 --- a/examples/startup-files/Bash_profile +++ b/examples/startup-files/Bash_profile @@ -2,9 +2,9 @@ # default_dir=/usr/local/lib/ -if [ "$PS1" ]; then - PS1='\u@\h(\#)$ ' - ignoreeof=3 +if [ -n "$PS1" ]; then + PS1='\u@\h(\#)\$ ' + IGNOREEOF=3 fi LOGIN_SHELL=true @@ -12,9 +12,7 @@ LOGIN_SHELL=true # If the user has her own init file, then use that one, else use the # canonical one. if [ -f ~/.bashrc ]; then - source ~/.bashrc -else if [ -f ${default_dir}Bashrc ]; then - source ${default_dir}Bashrc; - fi + . ~/.bashrc +elif [ -f ${default_dir}Bashrc ]; then + . ${default_dir}Bashrc; fi - |