Comment augmenter la taille de / dev?
J'ai rencontré une situation plutôt inhabituelle:
...
cp: failed to extend ‘/dev/mapper/loop0p1’: No space left on device
nathan@nathan-desktop:~$ df
Filesystem 1K-blocks Used Available Use% Mounted on
udev 4017004 4017004 0 100% /dev
Je suis à court d'espace "disque" sur /dev. (Pour les curieux, j'utilise kpartx pour copier des images de partition sur une image disque.)
Il n'y a pas d'entrée pour /dev dans /etc/fstab - comment puis-je modifier la quantité d'espace alloué pour /dev? Existe-t-il un fichier de configuration que je peux modifier?
Comme indiqué dans cet article du super utilisateur , remonter cela fonctionne:
$ df -h | grep udev
udev 1.0G 4.0K 1.0G 1% /dev
$ Sudo mount -o remount,size=3G /dev
$ df -h | grep udev
udev 3.0G 4.0K 3.0G 1% /dev