aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMartin Polden <mpolden@mpolden.no>2023-02-11 15:18:41 +0100
committerMartin Polden <mpolden@mpolden.no>2023-02-11 15:18:41 +0100
commit5595f4dda16bf4f0a43c09860857684f5445e555 (patch)
treeca8a86d4879678e62af9ed177720ea020c0237f1
parent9baf6d9a6f82a113f2a059319c5e7825e578ae3c (diff)
zsh: show ssh prefix when using toolbox
-rw-r--r--zshrc4
1 files changed, 2 insertions, 2 deletions
diff --git a/zshrc b/zshrc
index e4a1c9f..e634e78 100644
--- a/zshrc
+++ b/zshrc
@@ -305,9 +305,9 @@ function load-prompt {
# Display git branch
zstyle ':vcs_info:*' formats ' %F{red}%b%f'
- # Add user@host when connected through SSH
+ # Add user@host when connected through SSH or using toolbox
local ssh_prefix
- if [[ -n "$SSH_CLIENT" || -n "$SSH_TTY" || -n "$SSH_CONNECTION" ]]; then
+ if [[ -n "$SSH_CLIENT" || -n "$SSH_TTY" || -n "$SSH_CONNECTION" || -n "$TOOLBOX_PATH" ]]; then
ssh_prefix="%F{green}%n@%m%f:"
fi