etc/profile

diff --git a/etc/profile b/etc/profile
index f2beb1df3643c049b9a6db1c7f7b62d84acb5f33..e4aa8e699a17b7d14ee31f65b695a9d22c51678a 100755 (executable)
--- a/etc/profile
+++ b/etc/profile
@@ -14,6 +14,7 @@
 #--------------------------------------------------------------------------------
 [ "$1" = "--nb-debug" ] && export NB_DEBUG="yes" && shift
 [ "$1" = "--nb-no-repos" ] && export NB_NO_REPOS="yes" && shift
+[ "$NB_DEBUG" = "yes" ] || return 0
 nb_debug() {
        [ -n "$NB_DEBUG" -a "$NB_DEBUG" = "yes" ] || return 0
        echo "DEBUG: $*" 1>&2