From e49a27e74d745fbed94b6a82876c96f0410bb404 Mon Sep 17 00:00:00 2001 From: Devops Date: Tue, 23 May 2017 12:28:51 +0100 Subject: [PATCH] etc/profile --- etc/profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/profile b/etc/profile index 0fac7cb1..e55d08f1 100755 --- a/etc/profile +++ b/etc/profile @@ -7,7 +7,7 @@ # # #-------------------------------------------------------------------------------- -[ "$1" = "--debug" ] && export NB_DEBUG="echo DEBUG: " && shift +[ "$1" = "--debug-nb" ] && export NB_DEBUG="echo DEBUG: " && shift # # Avoid infinit loop. Eg: profile -> .bashrc -> profile -- 2.47.3