Qui de nos jours à, sur un PC (portable ou pas) moins de 250Gio? Ah, après vérification, moi: je n'ai que 223Gio sur mon SSD, qui doit avoir 2 ans.
J'imagine que les chromebooks & co ont moins, par contre, vu que l'idée est d'avoir les données en dehors de la machine. Par contre, je doute qu'un non initié cherche a y coller une distro linux?
Par défaut il y a des blocs réservés pour le système, je crois que c'est 5%. Donc un utilisateur simple ne peut pas remplir une partition au delà de 95%.
Si je prend une Debian, les journaux et apt ont le droit, et ne se privent pas, d'écrire dans les 5% restant. Pour les journaux, normalement par défaut il y a une rotation, donc "ça devrait le faire" même si on est pas sur une time series database (ou p'tet avec journald c'est le cas? Possible, ça serait le 1er argument que je trouverais intéressant en sa faveur, du coup). Par contre, le cache apt, j'ai connaissance d'aucun outil pour le vider automatiquement.
Mais j'ai du mal à voir comment utiliser plusieurs partitions peut aider, j'ai plutôt l'impression qu'on a d'autant plus de chances de remplir une partition...
Oui, de remplir une partition, ce qui affecte moins le système de que de remplir la partition.
Si ton /var/cache satures ta partition unique, ton /home est saturé aussi. Entres autres.
Par contre oui, ça implique de dimensionner correctement tes partitions, donc de savoir estimer l'espace nécessaire pour chacune. Perso, vu le prix de l'espace disque de nos jours (quasi rien) je laisse 20G-30G pour le /var, dans les 20G pour le / (je sépare pas le /usr ni le /boot, la flemme), un «gros» 100G pour mon /home, et le reste est pas affecté, je l'affecte quand j'en ai besoin, ça me permets par exemple d'installer un nouvel OS quand j'ai envie de jouer, de faire une partition pour alléger une partition qui serait trop pleine (par exemple pour /usr/games, /usr/local, /var/cache...) si nécessaire.
Ça à ses limitations, j'en conviens, mais bon, y'a pas de solution parfaite.
[^] # Re: pour éviter le problème...
Posté par freem . En réponse au message Boot impossible - No space left on device. Évalué à 2.
Qui de nos jours à, sur un PC (portable ou pas) moins de 250Gio? Ah, après vérification, moi: je n'ai que 223Gio sur mon SSD, qui doit avoir 2 ans.
J'imagine que les chromebooks & co ont moins, par contre, vu que l'idée est d'avoir les données en dehors de la machine. Par contre, je doute qu'un non initié cherche a y coller une distro linux?
Si je prend une Debian, les journaux et apt ont le droit, et ne se privent pas, d'écrire dans les 5% restant. Pour les journaux, normalement par défaut il y a une rotation, donc "ça devrait le faire" même si on est pas sur une time series database (ou p'tet avec journald c'est le cas? Possible, ça serait le 1er argument que je trouverais intéressant en sa faveur, du coup). Par contre, le cache apt, j'ai connaissance d'aucun outil pour le vider automatiquement.
Oui, de remplir une partition, ce qui affecte moins le système de que de remplir la partition.
Si ton /var/cache satures ta partition unique, ton /home est saturé aussi. Entres autres.
Par contre oui, ça implique de dimensionner correctement tes partitions, donc de savoir estimer l'espace nécessaire pour chacune. Perso, vu le prix de l'espace disque de nos jours (quasi rien) je laisse 20G-30G pour le /var, dans les 20G pour le / (je sépare pas le /usr ni le /boot, la flemme), un «gros» 100G pour mon /home, et le reste est pas affecté, je l'affecte quand j'en ai besoin, ça me permets par exemple d'installer un nouvel OS quand j'ai envie de jouer, de faire une partition pour alléger une partition qui serait trop pleine (par exemple pour /usr/games, /usr/local, /var/cache...) si nécessaire.
Ça à ses limitations, j'en conviens, mais bon, y'a pas de solution parfaite.