[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] df: use the last device name provided by the system
From: |
Pádraig Brady |
Subject: |
Re: [PATCH] df: use the last device name provided by the system |
Date: |
Tue, 17 Jun 2014 17:15:05 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130110 Thunderbird/17.0.2 |
On 05/29/2014 03:45 PM, Pádraig Brady wrote:
> 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.
This was incomplete as it didn't also update the "fstype",
so that the incorrect type was shown with df -T.
The attached should fix this.
cheers,
Pádraig.
df-fix-last-device.diff
Description: Text Data
- Re: [PATCH] df: use the last device name provided by the system,
Pádraig Brady <=