インストールの終わった ports の作業領域を削除 ― 2008年02月20日 11時25分24秒
make clean
などを行なわない。毎日電源を切るので、自動的に消える。
しかし、容量の関係でファイルを消したい時が、時々ある。そんな時に使うコマンド。
# ls -d */*/work/.install_done* | sed 's/\.install_done.*//' | xargs rm -rf
category/package/work に正規化されるので、WRKDIRPREFIX が指定されていても /usr/ports でも使える。
これだと、現在ビルドが進んでいる ports を壊さずに、インストール済みの ports のみを削除できる。また、make clean
は Makefile の評価をしてから削除するので、それが無い分幾分か速い。
最近のコメント