名前: 角藤 日時: 2009-08-04 14:05:31 IPアドレス: 157.13.10.*
>>53491 私は wget -m -i urllist.txt のように wget を使います。 -m は ミラーを示し、 time stamp が local より古いものはget しません。 urllist.txt は http://w32tex.org/gs/gs870w32full-gpl.zip http://w32tex.org/gs/gs707w32full.zip ... のような URL のリストです。
この書き込みへの返事：