diff --git a/.profile b/.profile index 9f2cdb90..8a072d0e 100755 --- a/.profile +++ b/.profile @@ -103,12 +103,15 @@ _ps1() { # Add hostname prefix in SSH sessions if [ "$SSH_CLIENT" ]; then - # Also add the machine's hostname prefix="${fg_bold}${fg_red}`hostname`${r}${fg_red}:" fi + # Append a "restricted" prefix in rbash + if [ "$0" == "rbash" ]; then + prefix="${fg_bold}${fg_grey}rbash${r}:" + fi # Change PWD color depending on the shell case $0 in - bash) + *bash) prefix="${prefix}${fg_yellow}" ;; ksh)