From: Nicolas Boisselier Date: Thu, 18 Jan 2018 02:32:47 +0000 (+0000) Subject: etc/profile X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=0ef12990c0ee97ca7adde016e0f65815fa49ce97;p=nb.git etc/profile --- diff --git a/etc/profile b/etc/profile index f2beb1df..e4aa8e69 100755 --- 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