From 0ef12990c0ee97ca7adde016e0f65815fa49ce97 Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Thu, 18 Jan 2018 02:32:47 +0000
Subject: [PATCH] etc/profile

---
 etc/profile | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.47.3