chiark / gitweb /
dot/bashrc: Do check for SCHROOT_SESSION_ID when defining setprompt, rather than...
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 10 Jun 2016 16:42:39 +0000 (17:42 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 10 Jun 2016 17:04:23 +0000 (18:04 +0100)
This is OK because SCHROOT_SESSION_ID does not change during the life
of the shell.  (And setprompt is redefined in each new shell, not
exported.)


No differences found