今日の戯言　by maa

_ tar ボールからの delete

サーバーデータのバックアップは、毎週自動的に RAID1 のローカルディスク上に tar ボール形式で保存し、それを約2ヶ月に1回手動で DVD-R に移して取っている。ところが昨日、DVD-R に焼こうとしたらデータが巨大で入り切らなくなっていた。調べてみると、ホームディレクトリの tmp ディレクトリ内にいらない巨大なテンポラリファイルがあったので tar ボールから消そうとしたのだが、意外とわかりにくかったのでメモしておく。

圧縮済み tar.gz のままでは扱えないので

# gzip -d home_username.tar.gz

tar ボールからワイルドカードを使ってファイルを削除（ユーザー username の /home/username/tmp 以下のファイルを削除）

# tar --delete --wildcards -f home_username.tar username/tmp/*

再圧縮

# gzip home_username.tar

_ 夏のサービス休止期間のお知らせ

下記の学内事情により、アクセスができない場合があります。