From dad16e7fd04e375477951a842f19084c1c41fd62 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emmanuel=20Beno=C3=AEt?= <tseeker@nocternity.net>
Date: Sat, 22 Oct 2022 10:08:46 +0200
Subject: [PATCH] Dim the hostname part of the user@host
---
gprompt.pl | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gprompt.pl b/gprompt.pl
index 332487b..426bea9 100644
--- a/gprompt.pl
+++ b/gprompt.pl
@@ -249,6 +249,7 @@ our %THEME = ();
our %STYLES = (
none => '' ,
b => 'bold' ,
+ d => 'dim' ,
u => 'smul' ,
i => 'sitm' ,
bu => 'bold,smul' ,
@@ -826,7 +827,7 @@ sub render_userhost
push @out , ( getpwuid( $< ) || '(?)' );
}
if ( $hn == 1 || ( $hn == 2 && $is_remote ) ) {
- push @out , { fg => themed 'uh_host_fg' };
+ push @out , { fg => themed 'uh_host_fg', style => 'd' };
push @out , '@' if @out;
push @out , hostname;
}