Index: bootstrap/virtualenv/virtualenv_embedded/activate.sh |
diff --git a/bootstrap/virtualenv/virtualenv_embedded/activate.sh b/bootstrap/virtualenv/virtualenv_embedded/activate.sh |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e50c78256c9c62efb5b59844ea3a12f373f46b7c |
--- /dev/null |
+++ b/bootstrap/virtualenv/virtualenv_embedded/activate.sh |
@@ -0,0 +1,80 @@ |
+# This file must be used with "source bin/activate" *from bash* |
+# you cannot run it directly |
+ |
+deactivate () { |
+ unset pydoc |
+ |
+ # reset old environment variables |
+ if [ -n "$_OLD_VIRTUAL_PATH" ] ; then |
+ PATH="$_OLD_VIRTUAL_PATH" |
+ export PATH |
+ unset _OLD_VIRTUAL_PATH |
+ fi |
+ if [ -n "$_OLD_VIRTUAL_PYTHONHOME" ] ; then |
+ PYTHONHOME="$_OLD_VIRTUAL_PYTHONHOME" |
+ export PYTHONHOME |
+ unset _OLD_VIRTUAL_PYTHONHOME |
+ fi |
+ |
+ # This should detect bash and zsh, which have a hash command that must |
+ # be called to get it to forget past commands. Without forgetting |
+ # past commands the $PATH changes we made may not be respected |
+ if [ -n "$BASH" -o -n "$ZSH_VERSION" ] ; then |
+ hash -r 2>/dev/null |
+ fi |
+ |
+ if [ -n "$_OLD_VIRTUAL_PS1" ] ; then |
+ PS1="$_OLD_VIRTUAL_PS1" |
+ export PS1 |
+ unset _OLD_VIRTUAL_PS1 |
+ fi |
+ |
+ unset VIRTUAL_ENV |
+ if [ ! "$1" = "nondestructive" ] ; then |
+ # Self destruct! |
+ unset -f deactivate |
+ fi |
+} |
+ |
+# unset irrelevant variables |
+deactivate nondestructive |
+ |
+VIRTUAL_ENV="__VIRTUAL_ENV__" |
+export VIRTUAL_ENV |
+ |
+_OLD_VIRTUAL_PATH="$PATH" |
+PATH="$VIRTUAL_ENV/__BIN_NAME__:$PATH" |
+export PATH |
+ |
+# unset PYTHONHOME if set |
+# this will fail if PYTHONHOME is set to the empty string (which is bad anyway) |
+# could use `if (set -u; : $PYTHONHOME) ;` in bash |
+if [ -n "$PYTHONHOME" ] ; then |
+ _OLD_VIRTUAL_PYTHONHOME="$PYTHONHOME" |
+ unset PYTHONHOME |
+fi |
+ |
+if [ -z "$VIRTUAL_ENV_DISABLE_PROMPT" ] ; then |
+ _OLD_VIRTUAL_PS1="$PS1" |
+ if [ "x__VIRTUAL_PROMPT__" != x ] ; then |
+ PS1="__VIRTUAL_PROMPT__$PS1" |
+ else |
+ if [ "`basename \"$VIRTUAL_ENV\"`" = "__" ] ; then |
+ # special case for Aspen magic directories |
+ # see http://www.zetadev.com/software/aspen/ |
+ PS1="[`basename \`dirname \"$VIRTUAL_ENV\"\``] $PS1" |
+ else |
+ PS1="(`basename \"$VIRTUAL_ENV\"`)$PS1" |
+ fi |
+ fi |
+ export PS1 |
+fi |
+ |
+alias pydoc="python -m pydoc" |
+ |
+# This should detect bash and zsh, which have a hash command that must |
+# be called to get it to forget past commands. Without forgetting |
+# past commands the $PATH changes we made may not be respected |
+if [ -n "$BASH" -o -n "$ZSH_VERSION" ] ; then |
+ hash -r 2>/dev/null |
+fi |