chiark / gitweb /
dot/bashrc: Do check for SCHROOT_SESSION_ID when defining setprompt, rather than...