On 07/11/2014 01:20 AM, Bernhard Voelker wrote:
On 07/11/2014 01:28 AM, Pádraig Brady wrote:
Subject: [PATCH] df: give precedence to real device nodes
This is significant when /etc/mtab is a real file
rather than a symlink to /proc/mounts, [...]
In the days we almost start thinking about
* Pádraig Brady p...@draigbrady.com:
| Presumably the version of mount is also quite old on such a system,
| and now we would add complexity to current df to work around the
| problems of such old mount?
Lets clear this.
$ uname -a
Linux host 3.4.94 #1 SMP Sun Jun 22 09:35:43 CEST 2014 i686
On 07/11/2014 09:39 AM, Gabor Z. Papp wrote:
* Pádraig Brady p...@draigbrady.com:
| Presumably the version of mount is also quite old on such a system,
| and now we would add complexity to current df to work around the
| problems of such old mount?
Lets clear this.
$ uname -a
Linux
* Pádraig Brady p...@draigbrady.com:
| $ ls -l /etc/mtab
| -rw-r--r-- 1 root root 391 Jun 22 10:18 /etc/mtab
|
| $ cat /etc/mtab
| /dev/md0 / ext3 rw,errors=remount-ro 0 0
| proc /proc proc rw,relatime 0 0
| sysfs /sys sysfs rw,relatime 0 0
| tmpfs /dev tmpfs
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
Hello,
I implemented my own MD5 generator.
It provides the same results as all the online MD5 generators, like for
instance http://onlinemd5.com/.
But it gives a different result than the GNU md5sum tool.
So I investigated this : it seems that md5sum adds a newline at the end of the
input !
tag 17997 notabug
close 17997
stop
On 07/11/2014 09:48 AM, xavier.ric...@laposte.net wrote:
Hello,
I implemented my own MD5 generator.
It provides the same results as all the online MD5 generators, like for
instance http://onlinemd5.com/.
But it gives a different result than the GNU
tag 17997 notabug
thanks
On 07/11/2014 02:48 AM, xavier.ric...@laposte.net wrote:
Hello,
I implemented my own MD5 generator.
It provides the same results as all the online MD5 generators, like for
instance http://onlinemd5.com/.
But it gives a different result than the GNU md5sum tool.
On Thu, Jul 10, 2014 at 4:28 PM, Pádraig Brady p...@draigbrady.com wrote:
The attached should handle this by giving precedence
to displaying real device nodes.
Thanks. That looks fine.
I'd add an s to that NEWS entry: s/give/gives/
+ df now give precedence to displaying real device nodes in