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 /AUTHORS | |
| 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 'AUTHORS')
0 files changed, 0 insertions, 0 deletions