On Thu, 8 Jun 2006 23:10:15 +0200 (CEST) Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > If I have --user vs. --repo, then I expect the setting to be active for > the user vs. the repository, respectively. *shrug* This seems exactly the same for --home; like I said I don't care enough to argue about it though. > Clearly, you have not met the same administrators as I did. Maybe not. > > obviously we can't guess all the creative ways git will be used beforehand. > > That is right, but is it for somebody else to decide the creative way, or > for you? My argument was that we should not build in policies that assume administrators are incompetent. That we should put the tools in their hands and not restrict them. That lets them be as creative as they want and not constrained because we have a preexisting opinion about their abilities or an opinion about the policies they should follow with regard to their users files etc. Anyway, i'm bowing out of this discussion because i'm sure you'll decide a reasonable course of action. Cheers, Sean - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html