Hi Andreas,
On Fri, Jul 27, 2012 at 06:23:04PM -0700, Andreas Dilger wrote:
>
> Do we really need separate names for partition labels vs. filesystem
> labels?
Sure, I think that use the same tag for two different things is bad
confusing idea.
> They are supposed to be unique already, so mount should be able to
> find the same partition regardless of whether the source is a
> partition UUID/LABEL vs. a filesystem label? It just makes things
> more confusing for users, IMHO.
Our users are smart enough to distinguish between partitions and
filesystems.
BTW, PARTUUID= is already supported by Linux kernel to specify root
device and it's already supported by udevd for device identification
(/dev/disk/by-partuuid).
Karel
--
Karel Zak <kzak@xxxxxxxxxx>
http://karelzak.blogspot.com
--
To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
