web-dev-qa-db-ja.com

/ 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

このスーパーユーザーの投稿 で指定されているように、再マウントは機能します。

$ 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
muru