chiark / gitweb /
~ian / ian-dotfiles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02340a8) | patch
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)
commite1654575ecda94c0eb7a40cb8de37f3b9c97e2c5
tree3d46dbd15d5fe37ffab880068a9d4561da9e14actree | snapshot
parent02340a8fa494c9a7782e62302630eb02b4153343commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.