diff options
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.bash_profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index 342b8a3..4af56b1 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -43,6 +43,8 @@ fi # INFOPATH="${HOME}/info:${INFOPATH}" # fi +echo "Welcome to $( hostname )" + spawn_ssh_agent() { [ -n "${SSH_AGENT_PID:+x}" ] && return 0 @@ -52,5 +54,3 @@ spawn_ssh_agent() { } [ "$( uname -o )" == 'Cygwin' ] && spawn_ssh_agent - -echo "Welcome to $( hostname )" |