chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c35d2ef) | patch
dot/shell-rc: Use `$USER' directly now that I've set it properly.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 8 May 2020 22:38:08 +0000 (23:38 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 13 May 2020 17:31:10 +0000 (18:31 +0100)
commit81ba988cc2c9639b75bdacc97419811f56f3c335
tree154402c31fc07a2de0b478d2cb37188bd773c695tree | snapshot
parentc35d2efc9acf72771af6384998457cdc63e7e7e9commit | diff
dot/shell-rc: Use `$USER' directly now that I've set it properly.

Eliminate the `$user' local variable from `__mdw_set_prompt_pieces'.
dot/shell-rc diff | blob | blame | history
Dotfiles and other configuration.