From 4c995c4201370a54f5c9bceb3c74cff63d0f1ff2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?No=C3=A9mi=20V=C3=A1nyi?= <sitbackandwait@gmail.com>
Date: Wed, 20 Dec 2017 18:42:06 +0100
Subject: [PATCH] remove the option of sourcing manage.sh

---
 manage.sh | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/manage.sh b/manage.sh
index cf31bb5e..625b3455 100755
--- a/manage.sh
+++ b/manage.sh
@@ -3,14 +3,6 @@
 BASE_DIR="$(dirname -- "`readlink -f -- "$0"`")"
 export PATH="$BASE_DIR/node_modules/.bin":$PATH
 
-# the script can be sourced to update the PATH
-# see https://stackoverflow.com/questions/2683279/how-to-detect-if-a-script-is-being-sourced
-if [ $_ != $0 ]; then
-    unset BASE_DIR
-    # sourced : exit now
-    return
-fi
-
 # subshell
 PYTHONPATH="$BASE_DIR"
 SEARX_DIR="$BASE_DIR/searx"