@Luca: I understand your point. But it sounds a bit like: omit special terms in Gnome, lets only use words we already know. Okay, taking a DVD or USB stick from a PC has something to do with our physical world, so "eject" is intuitive. But temporarily unregistering a filesystem from the OS is an abstract operation which deserves a special term. This even HELPS newbies to understand what is going on inside the system, which is an important aspect of OpenSource software. (Another point why I like Linux more than MacOS)
@antistress: do you mean all the various mental models of all Ubuntu users? Or the one of the majority? What's wrong with the mental model of the Linux inventors? To get away from discussing opinions I have another usecase: 5) When plugging-in my USB harddisk/stick while running a virtual machine (e.g. virtualbox), the host OS will open its filesystem(s). To hand over it to the guest I have to unmount it from the host and (re-)mount it in the guest. I really prefer to do this without opening a terminal. -- "Unmount" in volume right-click menu, is tech-speak and undiscoverable https://bugs.launchpad.net/bugs/28835 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
