From e1654575ecda94c0eb7a40cb8de37f3b9c97e2c5 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ian.jackson@eu.citrix.com>
Date: Fri, 10 Jun 2016 17:46:46 +0100
Subject: [PATCH] dot/bashrc: Include debian_chroot in prompt if it is set

Found this on mariner.  I don't think it's used atm, usually.  But
it's clearly better.
---
 dot/bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dot/bashrc b/dot/bashrc
index 19d644b..5bd9864 100644
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -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
-- 
2.30.2