chiark / gitweb /
dot/bashrc: Include debian_chroot in prompt if it is set
[ian-dotfiles.git] / notes /
2016-04-27 Ian Jacksonnotes: Some notes and scripts that I used to pick a...