如何增加/dev的大小？

Question

我遇到了一个相当不寻常的情况：

...
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？有可以修改的配置文件吗？

Answer 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