fix: use $USERNAME guaranteed to always be defined in zsh

Fixes #9701
This commit is contained in:
Marc Cornellà 2021-03-25 12:08:00 +01:00
commit 02d07f3e3d
No known key found for this signature in database
GPG key ID: 0314585E776A9C1B
15 changed files with 30 additions and 30 deletions

View file

@ -89,8 +89,8 @@ function precmd {
# Context: user@directory or just directory
prompt_context () {
if [[ "$USER" != "$DEFAULT_USER" || -n "$SSH_CLIENT" ]]; then
echo -n "${PR_RESET}${PR_RED}$USER@%m${PR_RESET}${PR_BRIGHT_YELLOW}%~%<<${PR_RESET}"
if [[ "$USERNAME" != "$DEFAULT_USER" || -n "$SSH_CLIENT" ]]; then
echo -n "${PR_RESET}${PR_RED}$USERNAME@%m${PR_RESET}${PR_BRIGHT_YELLOW}%~%<<${PR_RESET}"
else
echo -n "${PR_RESET}${PR_BRIGHT_YELLOW}%~%<<${PR_RESET}"
fi