mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-07 12:15:51 +00:00
21 lines
348 B
Batchfile
21 lines
348 B
Batchfile
@echo off
|
|
|
|
set VIRTUAL_ENV=
|
|
|
|
if defined _OLD_VIRTUAL_PROMPT (
|
|
set "PROMPT=%_OLD_VIRTUAL_PROMPT%"
|
|
set _OLD_VIRTUAL_PROMPT=
|
|
)
|
|
|
|
if defined _OLD_VIRTUAL_PYTHONHOME (
|
|
set "PYTHONHOME=%_OLD_VIRTUAL_PYTHONHOME%"
|
|
set _OLD_VIRTUAL_PYTHONHOME=
|
|
)
|
|
|
|
if defined _OLD_VIRTUAL_PATH (
|
|
set "PATH=%_OLD_VIRTUAL_PATH%"
|
|
set _OLD_VIRTUAL_PATH=
|
|
)
|
|
|
|
:END
|