]> git.donarmstrong.com Git - zsh.git/commitdiff
make debian chroot stand out
authormartin f. krafft <madduck@madduck.net>
Sat, 17 May 2008 11:14:04 +0000 (12:14 +0100)
committermartin f. krafft <madduck@madduck.net>
Sat, 17 May 2008 11:14:04 +0000 (12:14 +0100)
.zsh/zshrc/80_prompt

index d42b76c114037bd47853c5acb1c295d201e26003..a2b18eb250d17b81c5fc8b327258bffe9e005382 100644 (file)
@@ -16,7 +16,7 @@ if [ "${PS1:-}" = '%m%# ' ]; then
   fi
 
   _MACHINE_NAME="${_PS1_HL:=B}%m%${(L)_PS1_HL}"
-  _MACHINE_NAME="$_MACHINE_NAME${debian_chroot:+/$debian_chroot}"
+  _MACHINE_NAME="$_MACHINE_NAME${debian_chroot:+/%S$debian_chroot%s}"
 
   PS1="%(2L.+.)%${_MACHINE_NAME}:${_MIDDLE}%# "