名前: 奥村晴彦 日時: 2009-08-11 15:11:44 IPアドレス: 133.67.87.* >>53530 若雲さんのをよく見たら，最初に rm -rf /var/w32tex_today/current で消してしまっているので，本家に更新がなくても全部ダウンロードし直しに なるのではないでしょうか。更新されたものだけダウンロードし，本家で消えた ものは削除するのは，どういうオプションでしたっけ（rsync の -auv --delete 相当）。
この書き込みへの返事：