@echo off

echo ==============================================================
echo  pTeXダウンロード スクリプト v1.0 by.Kero
echo   詳しくは http://mo.kerosoft.com/0154 を参考にしてください。
echo ==============================================================

REM おまじない
cd %~dp0
setlocal

REM 作業ディレクトリ
echo ダウンロードフォルダ: %~dp0pTeX
mkdir pTeX
cd pTeX
echo.

REM ミラーサーバを自動選択する
set /a RND=%RANDOM% %% 3

REM と思ったが、会津大しか応答がないので0番使う。 2010/02/06現在
set RND=0
goto %RND%

:0
set REMOTE_HOST=ftp.u-aizu.ac.jp
set REMOTE_PATH=/pub/tex/ptex-win32/current/
goto DL

:1
set REMOTE_HOST=ftp.mep.titech.ac.jp
set REMOTE_PATH=/pub/TeX/ptex-win32/current/
goto DL

:2
set REMOTE_HOST=ftp.eng.kagoshima-u.ac.jp
set REMOTE_PATH=/pub/TeX/ptex-win32/current/
goto DL

:DL
set SCRIPT_FILE=ptex-win32-downloader.txt
echo %REMOTE_HOST%からダウンロードします。よろしいですか？
pause

echo open %REMOTE_HOST%>%SCRIPT_FILE%
echo cd %REMOTE_PATH%>>%SCRIPT_FILE%
echo bin>>%SCRIPT_FILE%
echo get context-doc.tar.bz2>>%SCRIPT_FILE%
echo get context.tar.bz2>>%SCRIPT_FILE%
echo get cweb-w32.tar.bz2>>%SCRIPT_FILE%
echo get dvi2ps-4.1j-w32.tar.bz2>>%SCRIPT_FILE%
echo get dvipdfm-w32.tar.bz2>>%SCRIPT_FILE%
echo get dvipsk-w32.tar.bz2>>%SCRIPT_FILE%
echo get dvitools-w32.tar.bz2>>%SCRIPT_FILE%
echo get gnuplot-43pl0w32.zip>>%SCRIPT_FILE%
echo get gtftex.lzh>>%SCRIPT_FILE%
echo get jtex-2.1-w32.tar.bz2>>%SCRIPT_FILE%
echo get latex.tar.bz2>>%SCRIPT_FILE%
echo get lcdf-typetools-w32.tar.bz2>>%SCRIPT_FILE%
echo get ltxpkgs.tar.bz2>>%SCRIPT_FILE%
echo get luatex-dev-w32.tar.bz2>>%SCRIPT_FILE%
echo get luatex-w32.tar.bz2>>%SCRIPT_FILE%
echo get makeindex-w32.tar.bz2>>%SCRIPT_FILE%
echo get manual.tar.bz2>>%SCRIPT_FILE%
echo get mftools.tar.bz2>>%SCRIPT_FILE%
echo get mftrace-w32.tar.bz2>>%SCRIPT_FILE%
echo get oldformat.tar.bz2>>%SCRIPT_FILE%
echo get oldinputs.tar.gz>>%SCRIPT_FILE%
echo get omega-aleph-w32.tar.bz2>>%SCRIPT_FILE%
echo get omegaj-w32.tar.gz>>%SCRIPT_FILE%
echo get otf.tar.bz2>>%SCRIPT_FILE%
echo get otfdevel.tar.bz2>>%SCRIPT_FILE%
echo get pdftex-w32.tar.bz2>>%SCRIPT_FILE%
echo get plain2-2.54-w32.tar.gz>>%SCRIPT_FILE%
echo get platex.tar.bz2>>%SCRIPT_FILE%
echo get psutils-w32.tar.bz2>>%SCRIPT_FILE%
echo get ptex-3.1.10-w32.tar.bz2>>%SCRIPT_FILE%
echo get sam2p-w32.tar.bz2>>%SCRIPT_FILE%
echo get t1fonts.tar.bz2>>%SCRIPT_FILE%
echo get t1utils-w32.tar.bz2>>%SCRIPT_FILE%
echo get tex4htk-w32.tar.bz2>>%SCRIPT_FILE%
echo get texinfotools-w32.tar.bz2>>%SCRIPT_FILE%
echo get texinst2009.zip>>%SCRIPT_FILE%
echo get textrace-w32.zip>>%SCRIPT_FILE%
echo get tiff2png-w32.tar.bz2>>%SCRIPT_FILE%
echo get timesnew.tar.gz>>%SCRIPT_FILE%
echo get ttf2pk-w32.tar.bz2>>%SCRIPT_FILE%
echo get ttf2pt1-w32.tar.bz2>>%SCRIPT_FILE%
echo get txpx-pazofonts.tar.bz2>>%SCRIPT_FILE%
echo get txtutil.tar.gz>>%SCRIPT_FILE%
echo get ums.tar.gz>>%SCRIPT_FILE%
echo get uptex-w32.tar.bz2>>%SCRIPT_FILE%
echo get utf.tar.gz>>%SCRIPT_FILE%
echo get vf-a2bk.tar.gz>>%SCRIPT_FILE%
echo get vf-n2bk.tar.bz2>>%SCRIPT_FILE%
echo get web2c-2009-lib.tar.bz2>>%SCRIPT_FILE%
echo get web2c-2009-w32.tar.bz2>>%SCRIPT_FILE%
echo get xetex-dev-w32.tar.bz2>>%SCRIPT_FILE%
echo get xetex-w32.tar.bz2>>%SCRIPT_FILE%
echo get xindy-w32.tar.bz2>>%SCRIPT_FILE%
echo bye>>%SCRIPT_FILE%

ftp -A -s:%SCRIPT_FILE%
del %SCRIPT_FILE%
pause