From 208057ce918090676f18ac28e3426d350a3f57bd Mon Sep 17 00:00:00 2001
From: bretello <bretello@distruzione.org>
Date: Wed, 3 Jan 2024 14:40:21 +0100
Subject: [PATCH] zsh: theme: fix display of hostname for ssh connections

---
 themes/brethil.zsh-theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/brethil.zsh-theme b/themes/brethil.zsh-theme
index ddb1c5b..72e2d7f 100644
--- a/themes/brethil.zsh-theme
+++ b/themes/brethil.zsh-theme
@@ -12,7 +12,7 @@ function user_prompt(){
   local close_bracket='%(!.].)'
   local at='%(!.@.)'
   if [[ -n $SSH_CONNECTION ]]; then
-    echo "${open_bracket}${user}${at}${host}${close_bracket}"
+    echo "[${user}${at}${host}]"
   else
     echo "${open_bracket}${user}${close_bracket}"
   fi