[Bug 1186442] Re: df says / out of space but isn't

[C de-Avillez]

My personal feeling is that your filesystems need to be checked for
error. See 'man fsck'.

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to coreutils in Ubuntu.
https://bugs.launchpad.net/bugs/1186442

Title:
  df says / out of space but isn't

Status in “coreutils” package in Ubuntu:
  New

Bug description:
  when I do a df, I get:/$ df -h
  Filesystem      Size  Used Avail Use% Mounted on
  /dev/sda2        20G   19G  4.6M 100% /
  none            4.0K     0  4.0K   0% /sys/fs/cgroup
  udev            1.8G   12K  1.8G   1% /dev
  tmpfs           356M  904K  355M   1% /run
  none            5.0M     0  5.0M   0% /run/lock
  none            1.8G   80K  1.8G   1% /run/shm
  none            100M   12K  100M   1% /run/user
  /dev/sda1        80G   12G   65G  16% /home

  but according to


  /$ sudo du -hc --max-depth=1
  12G     ./home
  15M     ./etc
  8.0K    ./media
  1.4G    ./var
  9.1M    ./bin
  153M    ./boot
  12K     ./dev
  666M    ./lib
  4.0K    ./lib64
  0       ./mnt
  0       ./opt
  du: cannot access ‘./proc/23086/task/23086/fd/4’: No such file or directory
  du: cannot access ‘./proc/23086/task/23086/fdinfo/4’: No such file or directory
  du: cannot access ‘./proc/23086/fd/4’: No such file or directory
  du: cannot access ‘./proc/23086/fdinfo/4’: No such file or directory
  0       ./proc
  352K    ./root
  1000K   ./run
  13M     ./sbin
  0       ./selinux
  0       ./srv
  0       ./sys
  4.0K    ./tmp
  4.0G    ./usr
  0       ./cdrom
  4.0K    ./.config
  18G     .
  18G     total

  
  says that nothing in / could be taking that much space, so a bug

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1186442/+subscriptions