if [ -r "$HOME"/admin/prog/bash_prompt ]; then
. "$HOME"/admin/prog/bash_prompt
- OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\${HOSTNAME::5} \`short_curdir\` \\$"
+ OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\${HOSTNAME::5}:\`short_curdir\` \\$"
else
- OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h \W \\$"
+ OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h:\W \\$"
fi
. "$ENV"