chiark / gitweb /
dot/bashrc: Include debian_chroot in prompt if it is set
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 16:46:46 +0000 (17:46 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 17:04:23 +0000 (18:04 +0100)
Found this on mariner.  I don't think it's used atm, usually.  But
it's clearly better.

dot/bashrc

index 19d644b..5bd9864 100644 (file)
@@ -27,7 +27,7 @@ po() { builtin popd "$@"; setprompt; }
 if [ "$PS1" ]
 then
        HISTFILE=$HOME/.history/$HOST~$$~
-       AUTOTITLE_STDOUT="%?u%U%!%?g(%G)%!%?u@%!%h:%d1~.> "
+       AUTOTITLE_STDOUT="%Edebian_chroot.%?u%U%!%?g(%G)%!%?u@%!%h:%d1~.> "
        AUTOTITLE_WINDOW="%h - %d~. %Y.[U..[M..[D./..%X.L]..M]..R]./.. %U%?G(%G)%!"
        AUTOTITLE_ICON="%h: %d3~. %Y.[U..[M..[D./..%X.L]..M]..R]./.."
        export AUTOTITLE_STDOUT AUTOTITLE_WINDOW AUTOTITLE_ICON