From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 8 May 2020 22:38:08 +0000 (+0100)
Subject: dot/shell-rc: Use `$USER' directly now that I've set it properly.
X-Git-Url: https://git.distorted.org.uk/~mdw/profile/commitdiff_plain/81ba988cc2c9639b75bdacc97419811f56f3c335?hp=81ba988cc2c9639b75bdacc97419811f56f3c335

dot/shell-rc: Use `$USER' directly now that I've set it properly.

Eliminate the `$user' local variable from `__mdw_set_prompt_pieces'.
---