python/virtualenv/virtualenv_embedded/deactivate.bat@b8a032363ba2 (annotated)
python/virtualenv/virtualenv_embedded/deactivate.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 | |
| michael@0 | 3 | set VIRTUAL_ENV= |
| michael@0 | 4 | |
| michael@0 | 5 | if defined _OLD_VIRTUAL_PROMPT ( |
| michael@0 | 6 | set "PROMPT=%_OLD_VIRTUAL_PROMPT%" |
| michael@0 | 7 | set _OLD_VIRTUAL_PROMPT= |
| michael@0 | 8 | ) |
| michael@0 | 9 | |
| michael@0 | 10 | if defined _OLD_VIRTUAL_PYTHONHOME ( |
| michael@0 | 11 | set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%" |
| michael@0 | 12 | set _OLD_VIRTUAL_PYTHONHOME= |
| michael@0 | 13 | ) |
| michael@0 | 14 | |
| michael@0 | 15 | if defined _OLD_VIRTUAL_PATH ( |
| michael@0 | 16 | set "PATH=%_OLD_VIRTUAL_PATH%" |
| michael@0 | 17 | set _OLD_VIRTUAL_PATH= |
| michael@0 | 18 | ) |
| michael@0 | 19 | |
| michael@0 | 20 | :END |
