diff options
Diffstat (limited to 'utils/bin/sea.cmd')
-rwxr-xr-x | utils/bin/sea.cmd | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/utils/bin/sea.cmd b/utils/bin/sea.cmd deleted file mode 100755 index bf3f2ad..0000000 --- a/utils/bin/sea.cmd +++ /dev/null @@ -1,26 +0,0 @@ -@echo off -setlocal - -set SHELL=cmd.exe - -set PACKAGE_HOME=%~dp0\.. - -call %PACKAGE_HOME%\bin\activate.cmd - -set OLDSEA=%SEA% -set SEA=%PACKAGE_HOME% -set /a SEALVL=%SEALVL% + 1 - -if "%1" == "" ( - echo SEALVL=%SEALVL% - echo SEA=%SEA% - echo PATH=%PATH% - %SHELL% -) else ( -echo "asdfasdfadsf" - %SHELL% %* -) - -set /a SEALVL=%SEALVL% - 1 -echo SEALVL=%SEALVL% -echo SEA=%OLDSEA% |