wasserの日記: ports
日記 by
wasser
FreeBSD の ports は便利なのだが、一度設定をしてしまうと次からは設定画面をスキップしてしまい、設定し直せない。設定をやり直したい場合には、
# make config
とする。その他、make showconfig/rmconfig というのも存在する。 また、これらのデータは /var/db/ports/${UNIQUENAME}/options に収められている。全て消し去りたければ
# rm -rf /var/db/ports
でいいらしい。 以上情報元は FreeBSD-users-jp 78761 でした。