So, I recently created a 15GB partition for Linux Mint 14. I've been working on it for a while, and I got a Low Disk Space notification. I ran df -h
and this is what I'm getting:
Filesystem Size Used Avail Use% Mounted on
/dev/sda5 11G 11G 2.3M 100% /
udev 1.9G 4.0K 1.9G 1% /dev
tmpfs 751M 1.1M 750M 1% /run
none 5.0M 0 5.0M 0% /run/lock
none 1.9G 4.0M 1.9G 1% /run/shm
none 100M 16K 100M 1% /run/user
What are /dev
, /run
, and /run/shm
, and can I resize them to be smaller and extend /dev/sda5
to use that space instead?
fdisk -l
anddf /
(without-h
, to have precise numbers). Anyway, unless you've resized the partition or something, the filesystem uses all the space in the partition./run
and the others are not the same filesystem, they don't take up any space in the partition (nor in RAM for that matter — only the ~5MB that's in use). – Gilles 'SO- stop being evil' Apr 20 '13 at 23:52/dev/sda5
directly occupies space on the harddrive. The other volumes are in the RAM disk (but they occupy only the used space). More details are also in my reply here: Shrink or delete udev partition in Ubuntu? – pabouk - Ukraine stay strong Jul 15 '16 at 07:46