home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
DP Tool Club 17
/
CD_ASCQ_17_101194.iso
/
vrac
/
tsbat46.zip
/
POPDIRE.BAT
< prev
next >
Wrap
DOS Batch File
|
1992-08-29
|
958b
|
34 lines
@echo off
echo ┌────────────────────────────────────────────────────┐
echo │ Nonresident popdir (Restores the pushed directory) │
echo │ By Prof. Timo Salmi, ts@uwasa.fi, Sat 29-Aug-92 │
echo └────────────────────────────────────────────────────┘
rem It is advisable to have popdire.bat at path
rem See pushdire.bat for more instructions
rem Check that the directory has been pushed by PUSHDIRE.BAT
if "%pushdriv%"=="" goto _err
if "%pushdire%"=="" goto _err
rem Pop first the original drive and then the original directory
%pushdriv%
cd %pushdire%
rem Show if asked
for %%s in (s S) do if "%1"=="/%%s" cd
goto _out
:_err
echo.
echo Error: No direcectory name has been pushed
echo Use PUSHDIRE.BAT for pushing directory names
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