blob: f1b67fb4071ffd6d82e64edbb0c0bc3dff9bb277 (plain
# Some systems' /etc/profile setups export PS1, which really fouls things up
# when switching between non-login shells; let's put things right by unsetting
# it to break the export and then just setting them as simple variables
unset PS1 PS2 PS3 PS4
PS1='$ ' PS2='> ' PS3='? ' PS4='+ '
# If we have an SSH_CLIENT or SSH_CONNECTION environment variable, put the
# username and hostname in PS1 too.
if [ -n "$SSH_CLIENT" ] || [ -n "$SSH_CONNECTION" ] ; then
PS1=$(id -nu)'@'$(hostname)'$ '