現在、設定されているオプションの確認 % make showconfig 現在、設定されているオプションの破棄 % sudo make rmconfig オプションの再設定 % sudo make config オプションを変更して、最初のインストールを失敗した場合 オプションを変更して、初めて ports をインストールをする時に、インストールに失敗した場合、 % sudo make rmconfig では、オプションの設定を初期化できない。そのため、/var/db/ports/ 以下の Ports のオプションの設定が記録されているファイルを削除することで、初期化できる。 設定したオプションの内容は /var/db/ports ディレクトリに Ports 毎にディレクトリが存在し、そのPorts 毎のディレクトリ内の options というファイルに格納されています。 ですので、このフ