From 02d07f3e3dba0d50b1d907a8062bbaca18f88478 Mon Sep 17 00:00:00 2001 From: Marc Cornellà Date: Thu, 25 Mar 2021 12:08:00 +0100 Subject: fix: use `$USERNAME` guaranteed to always be defined in zsh Fixes #9701 --- themes/adben.zsh-theme | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'themes/adben.zsh-theme') diff --git a/themes/adben.zsh-theme b/themes/adben.zsh-theme index b9ac77d00..7321df724 100644 --- a/themes/adben.zsh-theme +++ b/themes/adben.zsh-theme @@ -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 -- cgit v1.2.3-70-g09d2