Index: bootstrap/virtualenv/virtualenv_embedded/activate.bat |
diff --git a/bootstrap/virtualenv/virtualenv_embedded/activate.bat b/bootstrap/virtualenv/virtualenv_embedded/activate.bat |
new file mode 100644 |
index 0000000000000000000000000000000000000000..4c2003ef5e9ba0c10d59b40f863d4ed9a8e3fa14 |
--- /dev/null |
+++ b/bootstrap/virtualenv/virtualenv_embedded/activate.bat |
@@ -0,0 +1,26 @@ |
+@echo off |
+set "VIRTUAL_ENV=__VIRTUAL_ENV__" |
+ |
+if defined _OLD_VIRTUAL_PROMPT ( |
+ set "PROMPT=%_OLD_VIRTUAL_PROMPT%" |
+) else ( |
+ if not defined PROMPT ( |
+ set "PROMPT=$P$G" |
+ ) |
+ set "_OLD_VIRTUAL_PROMPT=%PROMPT%" |
+) |
+set "PROMPT=__VIRTUAL_WINPROMPT__ %PROMPT%" |
+ |
+if not defined _OLD_VIRTUAL_PYTHONHOME ( |
+ set "_OLD_VIRTUAL_PYTHONHOME=%PYTHONHOME%" |
+) |
+set PYTHONHOME= |
+ |
+if defined _OLD_VIRTUAL_PATH ( |
+ set "PATH=%_OLD_VIRTUAL_PATH%" |
+) else ( |
+ set "_OLD_VIRTUAL_PATH=%PATH%" |
+) |
+set "PATH=%VIRTUAL_ENV%\__BIN_NAME__;%PATH%" |
+ |
+:END |