On Wed, Sep 18, 2019 at 02:57:39PM -0000, Michael van Elst wrote: > It's not necessarily a good idea to hide the dk devices, so that probably > needs to be an optional output. Also because there are people parsing > such output and expect a device path.
But since almost all commands do the NAME=label to /dev/device translation, you can take NAME=label as a device path. On the other hand, it is really annoying that /etc/fstab and mount show so different outputs. -- Emmanuel Dreyfus m...@netbsd.org