今日の戯言　by maa

_ W32TeX

Web ブラウザから W32TeX のファイルを一個一個ダウンロードするのは面倒なので、標準インストールに必要なファイルのダウンロード用に FTP スクリプトを書くことにした。

Linux 用（UNIX 用）

newer コマンドが使えるので、すでにダウンロード済みのファイルと比べて新しいのだけダウンロードする。

w32tex_download.sh

#!/bin/sh
if [ -f "./ftp_log" ]
then
  rm ftp_log
fi
ftp -n core.ring.gr.jp <<EOF 2>&1 > ftp_log
user anonymous anonymous@icc.ac.jp
verbose
cd /pub/text/TeX/ptex-win32/current/
dir
bin
newer texinst2014.zip
newer ChangeLog
newer latex.tar.xz
newer mftools.tar.xz
newer platex.tar.xz
newer pdftex-w32.tar.xz
newer ptex-w32.tar.xz
newer web2c-lib.tar.xz
newer web2c-w32.tar.xz
newer dvipdfm-w32.tar.xz
newer dvipsk-w32.tar.xz
newer jtex-w32.tar.xz
newer ltxpkgs.tar.xz
newer luatex-w32.tar.xz
newer makeindex-w32.tar.xz
newer manual.tar.xz
newer newtxpx-boondoxfonts.tar.xz
newer pgfcontrib.tar.xz
newer t1fonts.tar.xz
newer tex-gyre.tar.xz
newer timesnew.tar.xz
newer ttf2pk-w32.tar.xz
newer txpx-pazofonts.tar.xz
newer vf-a2bk.tar.xz
newer xetex-w32.tar.xz
newer xindy-w32.tar.xz
newer xypic.tar.xz
close
quit
EOF

Windows 用（DOS 用）

ftp を起動するバッチと ftp 用のコマンドスクリプトの 2 つ。newer が使えないので、常に全部ダウンロードするのでちょっと環境に悪い。

w32tex_download.bat

ftp -s:w32tex_ftpcmd
exit

w32tex_ftpcmd

open core.ring.gr.jp
anonymous
anonymous@icc.ac.jp
verbose
hash
cd /pub/text/TeX/ptex-win32/current/
dir
bin
get texinst2014.zip
get ChangeLog
get latex.tar.xz
get mftools.tar.xz
get platex.tar.xz
get pdftex-w32.tar.xz
get ptex-w32.tar.xz
get web2c-lib.tar.xz
get web2c-w32.tar.xz
get dvipdfm-w32.tar.xz
get dvipsk-w32.tar.xz
get jtex-w32.tar.xz
get ltxpkgs.tar.xz
get luatex-w32.tar.xz
get makeindex-w32.tar.xz
get manual.tar.xz
get newtxpx-boondoxfonts.tar.xz
get pgfcontrib.tar.xz
get t1fonts.tar.xz
get tex-gyre.tar.xz
get timesnew.tar.xz
get ttf2pk-w32.tar.xz
get txpx-pazofonts.tar.xz
get vf-a2bk.tar.xz
get xetex-w32.tar.xz
get xindy-w32.tar.xz
get xypic.tar.xz
close
quit