Bonjour !
J’aimerai créer un fichier /home/fichier_partition, et pouvoir monter ce fichier dans le dossier /home/partition.
Je n’arrive pas à trouver sur Google, il y a trop de résultats parasites…
Est-ce possible ? Quelles commandes utiliser ?
Mon système d’exploitation est Debian Etch.
Merci !
pour creer le fichier d’1Go par exemple : dd if=/dev/zero of=/home/fichier_partition bs=1G count=1
pour creer le système de fichier dans le fichier par exemple en ext3 : mkfs.ext3 /home/fichier_partition
et enfin pour le monter, en root : mount /home/fichier_partition /home/partition -o loop
+1
Edité le 13/07/2008 à 13:56
Merci !
Et… une dernière chose… pour que ce fichier fasse toujours la taille de son contenu ? 
Cad, quand un utilisateur crée un fichier, la partition augmente, et quand il en supprime elle diminue aussi. Apparemment, on m’a dit qu’on ne pouvait faire qu’en augmentation et pas en diminution… 
ça je n’en sais rien
Ca ne peut pas fonctionner.
Edité le 14/07/2008 à 11:52
On m’a donné une solution : forum.ubuntu-fr.org…
Merci à tous
(T’es sûr que c’est ce que tu cherches ?)
Hello !
Ben oui ça me permet de contourner le problème des quotas sur un dossier, d’utiliser au mieux l’espace de la partition /home et sachant que le fichier ne fera qu’augmenter de taille car le fichier-partition sera un pot commun qui ne devrait qu’augmenter en taille.
Oui ca me convient