bug#15257: stat and df report different filesystems for /dev

2018-10-19 Thread Assaf Gordon
severity 15257 wishlist tags 15257 wontfix close 15257 stop (triaging old bugs) Hello, On 11/07/14 03:31 AM, Pádraig Brady wrote: On 09/03/2013 02:50 PM, C de-Avillez wrote: original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 When trying to use 'df -x tmpfs', /dev is still shown:

bug#15257: stat and df report different filesystems for /dev

2014-07-11 Thread Pádraig Brady
On 09/03/2013 02:50 PM, C de-Avillez wrote: original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 Tested on linux 3.11.RC7 and 3.8.8, coreutils 8.20 and 8.21 When trying to use 'df -x tmpfs', /dev is still shown: hggdh@chatto:~$ df -x tmpfs | grep udev udev 247532

bug#15257: stat and df report different filesystems for /dev

2013-09-03 Thread C de-Avillez
original Ubuntu bug: https://bugs.launchpad.net/bugs/1219529 Tested on linux 3.11.RC7 and 3.8.8, coreutils 8.20 and 8.21 When trying to use 'df -x tmpfs', /dev is still shown: hggdh@chatto:~$ df -x tmpfs | grep udev udev 247532 8247524 1% /dev But 'stat' reports the