home *** CD-ROM | disk | FTP | other *** search
- echo off
- echo Nonresident popdir (Restores the pushed directory)
- echo By Prof. Timo Salmi, ts@chyde.uwasa.fi, 14-Jan-90
- echo.
-
- rem It is advisable to have popdire.bat at path
- rem See pushdire.bat for more instructions
-
- if "%pushdriv%"=="" goto _err
- if "%pushdire%"=="" goto _err
-
- %pushdriv%
- cd %pushdire%
- cd
- goto _out
-
- :_err
- echo Error: No direcectory name has been pushed!
- goto _out
-
- rem The commands below release the relevant environment variables
- rem If you omit them, popdire can be used without pushdire in between
- :_out
- set pushdriv=
- set pushdire=
- echo on
-