bash: Use custom `short_curdir` instead of `\W` in `PS1`

[dotfiles.git] / .profile

diff --git a/.profile b/.profile
index c287c85ea75a3bc65e2285e35393ed6b5915daaa..2cfb9431d9ad69cb6251fd751ebad263467f4035 100644 (file)
--- a/.profile
+++ b/.profile
@@ -192,7 +192,12 @@ if [ -t 0 ] ; then
          ;;
       esac
 
-      OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h \W \\$"
+      if [ -r "$HOME"/admin/prog/short_curdir ]; then
+         . "$HOME"/admin/prog/short_curdir
+         OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h \`short_curdir\` \\$"
+      else
+         OPS1=${OPS1}"${debian_chroot:+($debian_chroot)}\u@\h \W \\$"
+      fi
       . "$ENV"
 
    else