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@\${HOSTNAME::5} \`short_curdir\` \\$"
else
OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h \W \\$"