GNU/Linux >> Linux の 問題 >  >> Linux

/ usr/portsパーティションのディスクスペースが不足しました。ポートを作成するにはどうすればよいですか。

/usrに最大4MBしか割り当てられていないデフォルト/自動パーティション構成を使用してOpenBSDをインストールしました 。大きなポートをコンパイルしているときに、ディスクがいっぱいであるというエラーが発生しました。

パーティションに拡張する方法を探しましたが、これを行う方法については何も見つかりません。他のパーティション(/homeなど)に十分なスペースがあります )、makeを実行したときに出力ファイルが移動する場所をリダイレクトする方法はありますか スペースのある場所を指すことができますか?

承認された回答:

ファイル/etc/mk.confを作成します 次のようなもので:

WRKOBJDIR=/home/foo/build/ports
DISTDIR=/home/foo/build/distfiles
PACKAGE_REPOSITORY=/home/foo/packages

パスは任意の場所に移動できるため、明らかに/home/fooを置き換えます。 必要なディレクトリを使用します。ディレクトリを作成する必要はありません。 makeを実行すると、自動的に作成されます 。

これについては、FAQで説明されています。15.3.3–ポートシステムの構成。これを使用して「読み取り専用」のポートツリーを作成するための推奨される使用例を示します。これにより、/ usr/portsを読み取り専用ディスク/に配置できます。ファイルシステムとそれからビルドすることはできますが、/ usr/portsに書き込めない状況の回避策として機能することは明らかです。


Linux
  1. Linuxは複数の連続したパスセパレーター(/ home //// username /// file)をどのように処理しますか?

  2. ディスクスペースを占有しているものを理解する方法は?

  3. /usr と /var を別のパーティションまたはディスクに移動する方法

  1. バイナリを /bin、/sbin、/usr/bin、および /usr/sbin にインストールし、 --prefix および DESTDIR と対話します

  2. /home ディレクトリのディスク容量が不足していますか?

  3. なぜ /home 以外のものを別のパーティションに入れるのですか?

  1. Linuxでディスクをパーティション分割する方法

  2. Linux – / usr/binと/usr/sbinを/bin(gnu / linux)にマージしますか?

  3. パーティションを作成するためにデバイスに残っている空き容量を確認する方法