"Home Folder" is not redundant, because "Home" is a *concept*, not the
actual name of the directory. "Home" is the directory "/home."
So, the discussion here should be limited to the following:
Which is better?
1) Using a generic reference to a specific location ("Home Folder" means
"/home/<user>")
pros:
The name is generic. If someone needs to refer to your home directory, they can
say "Home Folder," and it means the same thing no matter what your username is.
cons:
The way the directory is referred to in Places is inconsistent with the other
directories found there.
2) Using the location's proper name ("Alex" means "/home/alex")
pros:
consistent with other items in the Places menu
cons:
A generic way to refer to that folder is still necessary. If such a generic
name is no longer defined, references to it in discussion will be inconsistent.
I vote for the generic solution, but I don't care a whole lot either
way, as long as it's consistent and makes sense. It's all bikeshed
anyway...
--
"Home Folder" has 3 different names
https://bugs.launchpad.net/bugs/382703
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
