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