python/virtualenv/virtualenv_embedded/activate.bat@b8a032363ba2 (annotated)
python/virtualenv/virtualenv_embedded/activate.bat
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
| michael@0 | 1 | @echo off |
| michael@0 | 2 | set "VIRTUAL_ENV=__VIRTUAL_ENV__" |
| michael@0 | 3 | |
| michael@0 | 4 | if defined _OLD_VIRTUAL_PROMPT ( |
| michael@0 | 5 | set "PROMPT=%_OLD_VIRTUAL_PROMPT%" |
| michael@0 | 6 | ) else ( |
| michael@0 | 7 | if not defined PROMPT ( |
| michael@0 | 8 | set "PROMPT=$P$G" |
| michael@0 | 9 | ) |
| michael@0 | 10 | set "_OLD_VIRTUAL_PROMPT=%PROMPT%" |
| michael@0 | 11 | ) |
| michael@0 | 12 | set "PROMPT=__VIRTUAL_WINPROMPT__ %PROMPT%" |
| michael@0 | 13 | |
| michael@0 | 14 | if not defined _OLD_VIRTUAL_PYTHONHOME ( |
| michael@0 | 15 | set "_OLD_VIRTUAL_PYTHONHOME=%PYTHONHOME%" |
| michael@0 | 16 | ) |
| michael@0 | 17 | set PYTHONHOME= |
| michael@0 | 18 | |
| michael@0 | 19 | if defined _OLD_VIRTUAL_PATH ( |
| michael@0 | 20 | set "PATH=%_OLD_VIRTUAL_PATH%" |
| michael@0 | 21 | ) else ( |
| michael@0 | 22 | set "_OLD_VIRTUAL_PATH=%PATH%" |
| michael@0 | 23 | ) |
| michael@0 | 24 | set "PATH=%VIRTUAL_ENV%\__BIN_NAME__;%PATH%" |
| michael@0 | 25 | |
| michael@0 | 26 | :END |
