Comment 35 for bug 382703

Revision history for this message
Alex French (grackle) wrote :

"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...