skip virtualenv check if already activated (trailofbits#863)

This allows the user to choose their virtualenv method, e.g. [Pipenv](https://docs.pipenv.org/).
faf0 · Apr 23, 2018 · a8b64af · a8b64af
1 parent 1a58370
commit a8b64af
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/algo b/algo
@@ -2,13 +2,16 @@
 
 set -e
 
-ACTIVATE_SCRIPT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )/env/bin/activate"
-if [ -f "$ACTIVATE_SCRIPT" ]
+if [ -z ${VIRTUAL_ENV+x} ]
 then
-	source $ACTIVATE_SCRIPT
-else
-	echo "$ACTIVATE_SCRIPT not found.  Did you follow documentation to install dependencies?"
-	exit 1
+	ACTIVATE_SCRIPT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )/env/bin/activate"
+	if [ -f "$ACTIVATE_SCRIPT" ]
+	then
+		source $ACTIVATE_SCRIPT
+	else
+		echo "$ACTIVATE_SCRIPT not found.  Did you follow documentation to install dependencies?"
+		exit 1
+	fi
 fi
 
 SKIP_TAGS="_null encrypted"