etc/profile

diff --git a/etc/profile b/etc/profile
index 4ac87d9abede4ff58325d66ea4d6e1a913f7e535..6dfb775a17f9b6359e0ac45f7d59b8965502f362 100755 (executable)
--- a/etc/profile
+++ b/etc/profile
@@ -38,9 +38,6 @@ if [ -n "$NB_LOOP" ]; then
        echo "WARN: NB_LOOP=$NB_LOOP: BASH_SOURCE=$BASH_SOURCE \$0=$0 | Won't load !"
        NB_LOOP=$(($NB_LOOP+1))
        _nb_unset; return 70
-# NB 12.03.19  unset NB_LOOP
-# NB 12.03.19  exit
-# NB 12.03.19  return 2>/dev/null || exit # if executable
 fi
 nb_debug "ENVS: BASH_SOURCE=$BASH_SOURCE \$0=$0"