From 284662d6cdc9f79621c6fb4eae860adbad7a4dba Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 2 Dec 2020 12:22:20 +0100
Subject: [PATCH] develop: fix bash PS1

---
 garlic/develop.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/garlic/develop.nix b/garlic/develop.nix
index 555666c..1873e9e 100644
--- a/garlic/develop.nix
+++ b/garlic/develop.nix
@@ -21,12 +21,10 @@ stdenv.mkDerivation {
     export "buildInputs=$buildInputs"
     # ${stdenv}
     export "PATH=$PATH"
-    export "TERM=linux"
     export "out=/fake-output-directory"
     export NIX_BUILD_TOP=.
     export NIX_STORE=/nix/store
-    export PS1='\033[1;32mdevelop\$\033[0m '
-    #export PS1='\[\033[1;32m\]develop\$\[\033[0m\] '
+    export PS1='\[\033[1;32m\]develop\$\[\033[0m\] '
 
     export TMUX_TMPDIR=/tmp
     export TMPDIR=/tmp