Pour ma part je sépare toujours au moins /var et /home de / : /var car c'est là que sont envoyées les logs, et qu'une activité anormale peut la saturer, et /home, ce qui permet de faire des choses intéressantes (snapshot par exemple).
Donc on fait la même, à LVM près. Pour ma part je ne l'utilise pas juste parce que je n'en vois pas plus que ça l'intérêt.
pour l'OP: Pour les infos qui suivent, je me considère comme un poweruser, donc c'est peut-être un peu technique, et certainement à adapter (en revoyant à la hausse les espaces disques, je dirais, par sécurité).
Mon /home et ses 100Gio est largement assez gros (trop, même), et quand j'ai besoin de plus, typiquement pour stocker de gros fichiers (iso de CD/DVD, machines virtuelles...), ben je fais une partition que je configure avec de gros secteurs: moins d'inodes, mais moins de fragmentation (même si, oui, sur un SSD, la fragmentation on s'en fout... par contre sur un disque mécanique, en théorie ça accélère d'avoir moins de fragments).
Le /var je le dimensionne selon mon humeur, rarement en-dessous de 10Gio, même si en pratique au taf sur des systèmes spécifiques je lui mets moins de 1Gio (systèmes avec très très peu de stockage comparé à des machines de bureau) et ça tiens à l'aise.
Généralement, je lui mets 50% de plus qu'à mon /usr: ça me permets de garder les vieux .deb, au cas ou une merde arrive. Ça m'a déjà permis de réparer un système sans avoir accès à internet ni à un média d'install.
Le / je lui colle en général 20Gio, mais je n'utilise pas de gros bureau. Un utilisateur normal, je lui conseillerais le double, pour être tranquille (un débutant ne sais que rarement comment il va utiliser sa machine).
Sur ma machine actuelle, j'ai même plusieurs jeux installés sur cette partition:
Faut que j'en vire certains d'ailleurs. Mais en gros:
0ad: 2139Mo
flare: 154Mo
hedgewars: 199Mo
openclong: 115Mo
redeclipse (1.6): 988Mo
supertuxkart: 624Mo
wesnoth core (+secrets of the anciants + hammer of thursagan +under the burning suns, le complet est bien plus lourd): 398Mo
Si j'ajoute le reste, en tout, y'en a pour à peu près 5.5Gio, même s'il faut reconnaître que ce ne sont pas des jeux à la pointe.
De toute façon, la plupart des jeux sont maintenant installés via steam, donc dans /home, et lui, je lui donne un user spécifique, histoire qu'il n'ait pas accès à mes données perso, vu que je m'en méfie comme de la peste de cette usine à gaz.
Du coup, rien ne m'empêcherais de le coller sur une partition séparée, avec un montage sur /home/steam. Enfin, si je l'utilisais beaucoup :) (t'façon ça marche mal sur ma machine).
En gros, les jeux sont 50% de l'espace consommé de mon /usr. Vraiment, monter à 40Gio devrais suffire à la plupart des utilisateurs, qui utilisent des trucs plus lourds que moi.
Il fut une époque ou je séparais le /usr et le /boot, mais franchement, ça vaut pas le coup je trouve. /usr est quasiment juste utilisable par root, pour installer des software (à l'exception de /usr/local sous debian qui appartiens au groupe staff, bien pratique quand on installe régulièrement des trucs depuis le fameux make -j5 && make install, pas besoin de passer root comme ça, plus facile a réparer!) et le /boot la principale justification étais de permettre un dual boot, mais j'ai eu des conflits en essayant d'installer 2 debian sur un seul disque (système de fallback, au cas ou...).
De nos jours, de toute façon, il faut séparer le /boot/EFI (je lui affecte 1Gio, mais je devrais en mettre un peu plus histoire d'y mettre une iso bootable, juste au cas ou...), et selon le boot loader y coller le kernel de l'os qu'on veut booter. Du coup, le /boot sers plus à rien (alors que le /usr est potentiellement justifiable, certains l'utilisent pour le chiffrement me semble).
mais tout le monde fait des sauvegardes, non ?
Je t'avoue que pas moi, il faudrait vraiment que je m'y mettre, avant qu'il ne m'arrive une couille majeure... je sais, c'est pas bien... j'ai vu quelques journaux passer ici, dans certains borg à été mentionné qui sur le papier me plaisait... bon, sur ce, je m'en retourne aux live du ccc moi.
[^] # Re: pour éviter le problème...
Posté par freem . En réponse au message Boot impossible - No space left on device. Évalué à 2. Dernière modification le 29 décembre 2019 à 16:12.
Donc on fait la même, à LVM près. Pour ma part je ne l'utilise pas juste parce que je n'en vois pas plus que ça l'intérêt.
pour l'OP: Pour les infos qui suivent, je me considère comme un poweruser, donc c'est peut-être un peu technique, et certainement à adapter (en revoyant à la hausse les espaces disques, je dirais, par sécurité).
Mon
/homeet ses 100Gio est largement assez gros (trop, même), et quand j'ai besoin de plus, typiquement pour stocker de gros fichiers (iso de CD/DVD, machines virtuelles...), ben je fais une partition que je configure avec de gros secteurs: moins d'inodes, mais moins de fragmentation (même si, oui, sur un SSD, la fragmentation on s'en fout... par contre sur un disque mécanique, en théorie ça accélère d'avoir moins de fragments).Le
/varje le dimensionne selon mon humeur, rarement en-dessous de 10Gio, même si en pratique au taf sur des systèmes spécifiques je lui mets moins de 1Gio (systèmes avec très très peu de stockage comparé à des machines de bureau) et ça tiens à l'aise.Généralement, je lui mets 50% de plus qu'à mon
/usr: ça me permets de garder les vieux .deb, au cas ou une merde arrive. Ça m'a déjà permis de réparer un système sans avoir accès à internet ni à un média d'install.Le
/je lui colle en général 20Gio, mais je n'utilise pas de gros bureau. Un utilisateur normal, je lui conseillerais le double, pour être tranquille (un débutant ne sais que rarement comment il va utiliser sa machine).Sur ma machine actuelle, j'ai même plusieurs jeux installés sur cette partition:
Faut que j'en vire certains d'ailleurs. Mais en gros:
Si j'ajoute le reste, en tout, y'en a pour à peu près 5.5Gio, même s'il faut reconnaître que ce ne sont pas des jeux à la pointe.
De toute façon, la plupart des jeux sont maintenant installés via steam, donc dans
/home, et lui, je lui donne un user spécifique, histoire qu'il n'ait pas accès à mes données perso, vu que je m'en méfie comme de la peste de cette usine à gaz.Du coup, rien ne m'empêcherais de le coller sur une partition séparée, avec un montage sur
/home/steam. Enfin, si je l'utilisais beaucoup :) (t'façon ça marche mal sur ma machine).En gros, les jeux sont 50% de l'espace consommé de mon
/usr. Vraiment, monter à 40Gio devrais suffire à la plupart des utilisateurs, qui utilisent des trucs plus lourds que moi.Il fut une époque ou je séparais le
/usret le/boot, mais franchement, ça vaut pas le coup je trouve. /usr est quasiment juste utilisable par root, pour installer des software (à l'exception de /usr/local sous debian qui appartiens au groupe staff, bien pratique quand on installe régulièrement des trucs depuis le fameuxmake -j5 && make install, pas besoin de passer root comme ça, plus facile a réparer!) et le/bootla principale justification étais de permettre un dual boot, mais j'ai eu des conflits en essayant d'installer 2 debian sur un seul disque (système de fallback, au cas ou...).De nos jours, de toute façon, il faut séparer le
/boot/EFI(je lui affecte 1Gio, mais je devrais en mettre un peu plus histoire d'y mettre une iso bootable, juste au cas ou...), et selon le boot loader y coller le kernel de l'os qu'on veut booter. Du coup, le/bootsers plus à rien (alors que le/usrest potentiellement justifiable, certains l'utilisent pour le chiffrement me semble).Je t'avoue que pas moi, il faudrait vraiment que je m'y mettre, avant qu'il ne m'arrive une couille majeure... je sais, c'est pas bien... j'ai vu quelques journaux passer ici, dans certains borg à été mentionné qui sur le papier me plaisait... bon, sur ce, je m'en retourne aux live du ccc moi.