GNU/Linux >> Tutoriels Linux >  >> Linux

A manqué d'espace disque dans la partition /usr/ports, comment puis-je créer des ports ?

J'ai installé OpenBSD en utilisant la configuration de partition par défaut/automatique qui n'allouait que ~4 Mo à /usr . Lors de la compilation d'un grand port, une erreur s'est produite indiquant que le disque était plein.

J'ai cherché des moyens d'étendre la partition mais je ne trouve rien sur la façon de procéder. J'ai beaucoup d'espace sur d'autres partitions (telles que /home ), existe-t-il un moyen de rediriger les fichiers de sortie lorsque j'exécute make afin que je puisse les pointer vers un endroit qui a de l'espace ?

Réponse acceptée :

Créez un fichier /etc/mk.conf avec quelque chose comme ceci :

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

Le chemin peut être n'importe où, alors remplacez évidemment /home/foo avec le répertoire que vous voulez. Vous n'avez pas besoin de créer les répertoires; ils seront créés automatiquement lorsque vous exécuterez make .

Ceci est couvert dans la FAQ :15.3.3 – Configuration du système de ports, avec le cas d'utilisation suggéré de l'utiliser pour créer une arborescence de ports « en lecture seule », donc /usr/ports peut être sur un disque en lecture seule/ système de fichiers et vous pouvez toujours construire à partir de celui-ci, mais fonctionne évidemment toujours comme une solution de contournement pour toute situation où vous ne pouvez pas écrire sur /usr/ports.


Linux
  1. Comment Linux gère-t-il plusieurs séparateurs de chemins consécutifs (/home////nom d'utilisateur///fichier) ?

  2. Comment déplacer /usr et /var vers une autre partition ou un autre disque

  3. Quelle est la signification de /usr/sbin, /usr/local/sbin et /usr/local/bin ?

  4. Vous manquez d'espace disque sur le répertoire /home ?

  5. Les sites Web doivent-ils vivre dans /var/ ou /usr/ selon l'utilisation recommandée ?

Comment créer des partitions sous Linux

Comment créer des partitions de disque avec Parted Command sous Linux

Comment créer et gérer des partitions de disque avec Fdisk sous Linux

Comment créer des partitions de disque sous Linux

Linux – Fusionner /usr/bin et /usr/sbin dans /bin (gnu/linux) ?

Comment créer des partitions de disque à l'aide de cfdisk