chiark / gitweb /
dot/bashrc: Include debian_chroot in prompt if it is set