Vous ne devez pas l'utiliser df
car il affiche la taille indiquée par le système de fichiers (dans ce cas, ext4).
Utilisez la dumpe2fs -h /dev/mapper/ExistingExt4
commande pour connaître la taille réelle de la partition. L' -h
option permet d' dumpe2fs
afficher les informations de super bloc sans beaucoup d'autres détails inutiles. À partir de la sortie, vous avez besoin du nombre de blocs et de la taille des blocs .
...
Nombre de blocs: 19506168
Nombre de blocs réservés: 975308
Blocs libres: 13750966
Inodes libres: 4263842
Premier bloc: 0
Taille du bloc: 4096
...
La multiplication de ces valeurs donnera la taille de la partition en octets . Les nombres ci-dessus se trouvent être un multiple parfait de 1024:
$ python -c 'print 19506168.0 * 4096 / 1024'
78024672.0
Puisque vous souhaitez réduire la partition de 15 Gio (soit 15 Mio fois 1 Kio):
$ python -c 'print 19506168.0 * 4096 / 1024 - 15 * 1024 * 1024'
62296032.0
Comme resize2fs
accepte plusieurs types de suffixes, l'un d'eux étant K
pour "1024 octets", la commande pour réduire la partition à 62296032 Kio devient:
resize2fs -p /dev/mapper/ExistingExt4 62296032K
Sans unité, le nombre sera interprété comme un multiple de la taille de bloc du système de fichiers (4096 dans ce cas). Voir man resize2fs (8)
k
atresize2fs -p /dev/mapper/ExistingExt4 62296032
?K
il manquait une capitale . Sans cette lettre, resize2fs devrait se plaindre dans mon cas car la taille est plus grande que le disque réel.dumpe2fs
ne signale pas la taille de la partition; il indique vraiment la taille du système de fichiers. (Ce qui est bien, car c'est probablement ce que vous voulez.)