From 7c404787207c05b5579df4d1e73dbf0bb05a41cb Mon Sep 17 00:00:00 2001
From: Adrien Luxey <adrien.luxey@irisa.fr>
Date: Fri, 8 Feb 2019 14:33:54 +0100
Subject: [PATCH] no more DEFAULT_USER setting

---
 zshrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zshrc b/zshrc
index 795c2ae..0a10428 100644
--- a/zshrc
+++ b/zshrc
@@ -69,7 +69,7 @@ export LANG=fr_FR.UTF-8
 export EDITOR='vim'
 
 # Hide username by setting DEFAULT_USER
-export DEFAULT_USER=$USER
+#export DEFAULT_USER=$USER
 
 # if [[ -n $SSH_CONNECTION ]]; then
 #   export EDITOR='vim'