Hi, On Wed, 10 Oct 2007, Shawn O. Pearce wrote: > Steffen Prohaska <prohaska@xxxxxx> wrote: > > On Oct 9, 2007, at 1:43 PM, Johannes Schindelin wrote: > > >On Mon, 8 Oct 2007, Steffen Prohaska wrote: > > > > > >>commit a483fdd562d6c44d68a998224e0bbb17933b624a > > >>Author: Steffen Prohaska <prohaska@xxxxxx> > > >>Date: Mon Oct 8 08:25:47 2007 +0200 > > >> > > >> git-gui: offer a list of recent repositories on startup > > > > > >May I suggest not putting this list into ~/.gitconfig, but rather > > >~/.gitguirc? It is not really a user-specific git configuration... > > > > git-gui already stores other options as global variables gui.*. > > (see git-gui/lib/option.tcl). I just added gui.recentrepo. The > > list of recent repos should go to wherever git-gui stores its options. > > > > Right now this is in ~/.gitconfig, if I understand correctly. Shawn? > > Yes, that's correct. > > An item on my todo list (see todo branch in git-gui.git) is to move > this into a ~/.gitguiconfig or something like that, but I was going > to keep it as a git-config style file so git-config can be used to > process its contents. > > Until that task is complete I'd rather keep all of the "gui" options > in ~/.gitconfig (global) or .git/config (per-repository). When I > split stuff out to git-gui specific files I'll have to migrate the > entire "gui" section at once. FWIW I was only concerned about the recent repos, since strictly speaking, they are not options to git-gui... But I do not care deeply. Ciao, Dscho - To unsubscribe from this list: 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
