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