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?
Steffen
-
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
