diff options
| author | Pádraig Brady <P@draigBrady.com> | 2014-06-17 00:18:47 +0100 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2014-06-18 18:05:16 +0100 |
| commit | 4f8d74eb1b2ba17ef05f81c1c725e60a65cf8293 (patch) | |
| tree | 9e25e4d598dac5bcceb5bd49d9543edf9ee18824 /doc | |
| parent | 5ad16c2a0f11e48f1b1e3968b7b390591ce6f908 (diff) | |
| download | coreutils-4f8d74eb1b2ba17ef05f81c1c725e60a65cf8293.tar.xz | |
df: use all of the last device details provided
* src/df.c (filter_mount_list): Recent commit v8.22-108-g25a2c94
failed to copy file system type along with the updated device name.
Therefore simply replace the existing mount entry with the
current one with all the latest device details. Note the name,
even if not shorter in this entry, will be replaced with a shorter
name in a subsequent mount entry.
* tests/df/skip-duplicates.sh: Add a test case.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions