J'ai installé en faisant une swap de 4 Go, une partition root de 20
Go
et une partition /home a laquelle j'ai donné tout le reste de la
place.
Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de
debian, je pensais qu'une fois le /home rempli toutes les donnés il y
resterait une trentaine de Go de libre.
N'y a t'il pas de l'espace réservé à root ?
> J'ai installé en faisant une swap de 4 Go, une partition root de 20
> Go
> et une partition /home a laquelle j'ai donné tout le reste de la
> place.
>
> Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de
> debian, je pensais qu'une fois le /home rempli toutes les donnés il y
> resterait une trentaine de Go de libre.
N'y a t'il pas de l'espace réservé à root ?
J'ai installé en faisant une swap de 4 Go, une partition root de 20
Go
et une partition /home a laquelle j'ai donné tout le reste de la
place.
Bilan : 5 Go de libre + 50 Go de windows - 4 Go de swap - 20 Go de
debian, je pensais qu'une fois le /home rempli toutes les donnés il y
resterait une trentaine de Go de libre.
N'y a t'il pas de l'espace réservé à root ?
Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal comprendre...
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal comprendre...
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
Je parlais d'espace réservé au *compte* root. J'avais cru comprendre qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal comprendre...
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
Le 03/04/2019 à 19:44, Eric Degenetais a écrit :Je parlais d'espace réservé au *compte* root. J'avais cru comprendre
qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal
comprendre...
Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
La subtilité est que la quantité d'espace libre rapportée en tient compte.
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
5% de 563 Go, ça fait 28 Go.
563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Le 03/04/2019 à 19:44, Eric Degenetais a écrit :
Je parlais d'espace réservé au *compte* root. J'avais cru comprendre
qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal
comprendre...
Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
La subtilité est que la quantité d'espace libre rapportée en tient compte.
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
5% de 563 Go, ça fait 28 Go.
563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Le 03/04/2019 à 19:44, Eric Degenetais a écrit :Je parlais d'espace réservé au *compte* root. J'avais cru comprendre
qu'une
partie de l'espace sur chaque partition est réservé à root pour qu'il
puisse travailler même sur une partition saturée. J'ai pu mal
comprendre...
Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
La subtilité est que la quantité d'espace libre rapportée en tient compte.
/dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
5% de 563 Go, ça fait 28 Go.
563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai
systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche /home.
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :
Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai
systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche /home.
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :Non, tu as bien compris. Par défaut un système de fichiers ext*
réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
la plupart du temps. Concrètement, cela signifie que quand l'espace
utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
d'espace.
Si on considère qu'une telle réservation n'a pas lieu d'être pour
/home (ce qui est une position parfaitement valable puisque root n'est
pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
avec tune2fs.
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai
systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche /home.
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai >> systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche >>
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai >> systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche >>
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai >> systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche >>
On Thursday 04 April 2019 19:58:05 Pascal Hambourg wrote:Partman, le programme pour partitionner les disques de l'installateur
Debian, permet d'ajuster le pourcentage de blocs réservés lors de
l'initialisation du système de fichiers.
gparted aussi le fait très bien.
Avant d'installer les systèmes, je partitionne à partir
d'une slitaz live avec gparted (mode graphique très facile).
Après, je copie Debian à partir d'un de mes 3 ordinateurs,
et j'adapte fstab, toujours sous slitaz et grub avec Super Grub Disk .
Reboot, et je me retrouve avec un système Debian complet prêt à l'emploi.
On Thursday 04 April 2019 19:58:05 Pascal Hambourg wrote:
Partman, le programme pour partitionner les disques de l'installateur
Debian, permet d'ajuster le pourcentage de blocs réservés lors de
l'initialisation du système de fichiers.
gparted aussi le fait très bien.
Avant d'installer les systèmes, je partitionne à partir
d'une slitaz live avec gparted (mode graphique très facile).
Après, je copie Debian à partir d'un de mes 3 ordinateurs,
et j'adapte fstab, toujours sous slitaz et grub avec Super Grub Disk .
Reboot, et je me retrouve avec un système Debian complet prêt à l'emploi.
On Thursday 04 April 2019 19:58:05 Pascal Hambourg wrote:Partman, le programme pour partitionner les disques de l'installateur
Debian, permet d'ajuster le pourcentage de blocs réservés lors de
l'initialisation du système de fichiers.
gparted aussi le fait très bien.
Avant d'installer les systèmes, je partitionne à partir
d'une slitaz live avec gparted (mode graphique très facile).
Après, je copie Debian à partir d'un de mes 3 ordinateurs,
et j'adapte fstab, toujours sous slitaz et grub avec Super Grub Disk .
Reboot, et je me retrouve avec un système Debian complet prêt à l'emploi.
#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Vu que je suis assez débutant en scripts, je veux bien le regard de
votre sagacité dessus.
#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Vu que je suis assez débutant en scripts, je veux bien le regard de
votre sagacité dessus.
#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Vu que je suis assez débutant en scripts, je veux bien le regard de
votre sagacité dessus.
Vous l'avez demandé ; vous l'aurez. :)
Ensuite, j'aurais un peu ventilé pour éclaircir le propos, par
exemple comme suit :
[…]
Cette manière de présenter le script est très aérée, et me
semble très lisible.
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
alors c'est la partition de / qui va se voir supprimer les blocs
réservés à root. Avec le premier script, si le /home n'est pas
dans le fstab, et que `set -e` est présent, alors le script
s'arrête.
Pour aller plus loin, l'Advanced Bash Scripting guide est pour
moi un incontournable :
http://www.tldp.org/LDP/abs/html/index.html
Vous l'avez demandé ; vous l'aurez. :)
Ensuite, j'aurais un peu ventilé pour éclaircir le propos, par
exemple comme suit :
[…]
Cette manière de présenter le script est très aérée, et me
semble très lisible.
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
alors c'est la partition de / qui va se voir supprimer les blocs
réservés à root. Avec le premier script, si le /home n'est pas
dans le fstab, et que `set -e` est présent, alors le script
s'arrête.
Pour aller plus loin, l'Advanced Bash Scripting guide est pour
moi un incontournable :
http://www.tldp.org/LDP/abs/html/index.html
Vous l'avez demandé ; vous l'aurez. :)
Ensuite, j'aurais un peu ventilé pour éclaircir le propos, par
exemple comme suit :
[…]
Cette manière de présenter le script est très aérée, et me
semble très lisible.
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
alors c'est la partition de / qui va se voir supprimer les blocs
réservés à root. Avec le premier script, si le /home n'est pas
dans le fstab, et que `set -e` est présent, alors le script
s'arrête.
Pour aller plus loin, l'Advanced Bash Scripting guide est pour
moi un incontournable :
http://www.tldp.org/LDP/abs/html/index.html
hamster, au 2019-04-04 :#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
hamster, au 2019-04-04 :
#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
hamster, au 2019-04-04 :#!/bin/bash
homeUUID=$(grep "/home" /etc/fstab | grep -v "#" | cut -d"=" -f2 | cut
-d" " -f1);
homedevice=$(ls -l /dev/disk/by-uuid/ | grep $homeUUID | cut -d"/" -f3);
tune2fs -m 0 /dev/$homedevice;
Ceci étant, quand on a des liens symboliques, c'est un peu
dommage de ne pas s'en servir, il est tout à fait possible
d'appliquer le `tune2fs` directement sur le disque par UUID. Le
système se charge de résoudre le lien symbolique vers le fichier
bloc correspondant pour l'opération :
homedevice="/dev/disk/by-uuid/$homeUUID"
Mais finalement, peut-être qu'on pourrait directement utiliser
le fichier bloc stockant /home tel que rapporté par la commande
`df`, plutôt que d'aller voir dans le fichier fstab, si
d'aventure il devait ne pas être à jour ? (À moins bien sûr que
ce ne soit à dessein.)
#!/bin/bash
set -e
homedevice="$(
df /home
| grep -v '^Filesystem'
| cut -f1 -d' '
)"
tune2fs -m 0 "$homedevice"
Attention, si le /home n'est pas sur une partition séparée,
Encore plus simple : comme mount, tune2fs accepte directement la syntaxe
UUID=<uuid> ou LABEL=<uuid> à la place du nom de périphérique.
Encore plus simple : comme mount, tune2fs accepte directement la syntaxe
UUID=<uuid> ou LABEL=<uuid> à la place du nom de périphérique.
Encore plus simple : comme mount, tune2fs accepte directement la syntaxe
UUID=<uuid> ou LABEL=<uuid> à la place du nom de périphérique.