Thanks for reporting this bug and any supporting documentation. Since
this bug has enough information provided for a developer to begin work,
I'm going to mark it as confirmed and let them handle it from here.
Thanks for taking the time to make Ubuntu better!
I am suggesting this be marked as wishlist, since the expected behavior is not
the default in any version of Linux that I know of. The leading "/" is always
required from top-level directories. Perhaps defining an alias or function
could be done to automatically add this when necessary, but it must also be
removed when necessary. For example,
media/cdrom
fails, but so does
/USER/Documents
if USER is a subdirectory. /home/USER/Documents is the correct directory. Using
the leading "/" for non top-level directories fails.
For those with issues other than reading the directories with/without
the leading "/", please file a new bug report. Thanks for helping.
** Changed in: linux (Ubuntu)
Status: New => Confirmed
** Summary changed:
- umount doesn't understand relative mount point names
+ umount doesn't understand relative mount point names (leading "/" missing)
--
umount doesn't understand relative mount point names (leading "/" missing)
https://bugs.launchpad.net/bugs/226606
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
