Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have run into a rather unusual situation:

...
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

I have run out of "disk" space on /dev. (For the curious, I am using kpartx to copy some partition images to a disk image.)

There is no entry for /dev in /etc/fstab - how do I change the amount of space allocated for /dev? Is there a configuration file I can modify?

share|improve this question
1  
Maybe this might help? superuser.com/a/675664/440143 – Terrance Mar 12 at 7:04
up vote 3 down vote accepted

As given in this Super User post, remounting it works:

$ 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
share|improve this answer
    
+1 for you for testing it out my friend. =) – Terrance Mar 12 at 17:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.