diff options
| author | Pádraig Brady <P@draigBrady.com> | 2014-05-29 15:30:46 +0100 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2014-05-29 16:01:30 +0100 |
| commit | 25a2c948b24163ce0e0e9e52f6a5fef33d7d7842 (patch) | |
| tree | 60ab5ff2fcd550420e8657ba3962ae5a6dab2687 /NEWS | |
| parent | e4314774fd44bf2230a64f26c7f07383ddf6aa4c (diff) | |
| download | coreutils-25a2c948b24163ce0e0e9e52f6a5fef33d7d7842.tar.xz | |
df: use the last device name provided by the system
The device name reported for a particular mount entry
may no longer be valid if the mount point was subsequently
mounted on a different device. Therefore honor the order
of the mount list returned by the system and use the last
reported device name.
* src/df.c (filter_mount_list): When discarding the current
mount entry, ensure that a new device name is not also discarded.
* tests/df/skip-duplicates.sh: Add a test case. Also fix
a false failure in the edge case of a system with only a
single file system.
* NEWS: Mention the fix.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -44,7 +44,9 @@ GNU coreutils NEWS -*- outline -*- [These dd bugs were present in "the beginning".] - df now correctly elides duplicates for virtual file systems like tmpfs. + df now elides duplicates for virtual file systems like tmpfs, and will + display the correct device name for directories mounted multiple times. + [These bugs were present in "the beginning".] head --bytes=-N and --lines=-N now handles devices more consistently, not ignoring data from virtual devices like /dev/zero, |