At 1:17 PM -0700 5/18/07, Jared Hardy wrote:
>>On 5/18/07, Karl Fogel <email@example.com> wrote:
>>> What do you think of Jared's proposal? I'm guardedly in favor; are
>>> there cases where one *wouldn't* want the parent-creating behavior,
>>> and if so, are they compelling enough to override the principle that
>>> the intuitive thing should be the default?
>On 5/17/07, David Glasser <firstname.lastname@example.org> wrote:
>>The obvious case, to me, is a typo: if you misspell the name of a
>>directory when trying to make a directory nested deep inside it, you
>>probably don't want a whole hierarchy of directories to be made by
>>mistake, complete with .svn directories and all.
>I find any such attempts to "save the user from themselves"
>simultaneously amusing and frustrating. If you're so afraid of typos,
>why not add an "Are you sure? (y/n)" message after each and every
>command that creates anything new?? ;P
> If users are intelligent enough to be using the command-line
>client in the first place, then they're probably also intelligent
>enough to clean up after their own mistakes.
IMO, it's not just a question of saving a user from themselves, but:
Q: How many times do I "need" some parent directories automatically
created for me?
a: Very few times (speaking for me personally)
Q: How many times do I make a typo in some parent-directory name,
while trying to create a single new directory in an already-
a: Much more often. Not that I make a lot of typos, but that does
happen more often than I need to create multiple levels of
directories in a single command.
Q: For the two possible behaviors, which is more annoying to me when
I want the "not-chosen" behavior but get the chosen behavior?
a: It's not annoying (to me) to re-enter a command and add '-p' to
it. It's much more annoying if a bunch of extra directories were
created due to a typo, and now I have to get rid of them all.
Garance Alistair Drosehn = email@example.com
Senior Systems Programmer or firstname.lastname@example.org
Rensselaer Polytechnic Institute or email@example.com
To unsubscribe, e-mail: firstname.lastname@example.org
For additional commands, e-mail: email@example.com
Received on Fri May 18 23:35:00 2007