Как увеличить размер/dev?
Я столкнулся с довольно необычной ситуацией:
...
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
У меня закончилось "дисковое" пространство на /dev. (Для любопытного я использую kpartx скопировать некоторые изображения раздела в образ диска.)
Нет никакой записи для /dev в /etc/fstab - как я изменяю сумму места, выделенного для /dev? Существует ли конфигурационный файл, который я могу изменить?
4
задан Nathan Osman
12 March 2016 в 09:56
поделиться
1 ответ
Как дали в это сообщение Суперпользователя , повторно монтируя его работает:
$ 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
4
ответ дан Community
1 December 2019 в 09:47
поделиться