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)
Eliminate the `$user' local variable from `__mdw_set_prompt_pieces'.


No differences found