etc/profile

diff --git a/etc/profile b/etc/profile
index 0fac7cb14c5fa9689a749d3a497ba1b64e57195f..e55d08f1999cd8b01832daf5ef5d4842ea187c23 100755 (executable)
--- 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