From 153a3450391abc9d53eeb8b7496bdd4073c8ef74 Mon Sep 17 00:00:00 2001
From: Saif Lacrimosa <cool2309@gmail.com>
Date: Wed, 5 Oct 2016 14:58:33 +0100
Subject: [PATCH] Removing the user name and the Host name
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

As for me and many other developers, without the username and the
hostname is much much better and cleaner bash screen, any one can have
them back by just uncommenting them by removing the “#” from the
begining of the line.
---
 themes/agnoster.zsh-theme | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/themes/agnoster.zsh-theme b/themes/agnoster.zsh-theme
index 07546fd34..03011b85b 100644
--- a/themes/agnoster.zsh-theme
+++ b/themes/agnoster.zsh-theme
@@ -80,7 +80,7 @@ prompt_end() {
 # Context: user@hostname (who am I and where am I)
 prompt_context() {
   if [[ "$USER" != "$DEFAULT_USER" || -n "$SSH_CLIENT" ]]; then
-    prompt_segment black default "%(!.%{%F{yellow}%}.)$USER@%m"
+#    prompt_segment black default "%(!.%{%F{yellow}%}.)$USER@%m"
   fi
 }