chiark / gitweb /
~ian / ian-dotfiles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a04301) | patch
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)
commit0b54862188a50d5b757d69d96643ec20c76b0c07
tree3ac970fda9a1b5b29f2ab500b73dd4b12e0dda43tree | snapshot
parent8a04301b3155a82c91248d0289cb481c4d3af0d2commit | diff
dot/bashrc: Do check for SCHROOT_SESSION_ID when defining setprompt, rather than when executing it

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.)
dot/bashrc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.