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.


No differences found