diff options
| author | Petr Baudis <pasky@suse.cz> | 2008-09-25 00:07:02 +0200 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2008-09-30 12:59:18 -0700 |
| commit | bb4812bc0ae6e14b422ce3c45504965b523fdf84 (patch) | |
| tree | e3b1943d6b42de6a16a08e9a2e1fdee39da4bd4e | |
| parent | afd5424085151990b5ac87da09e5cea76809d7c0 (diff) | |
| download | git-bb4812bc0ae6e14b422ce3c45504965b523fdf84.tar.gz git-bb4812bc0ae6e14b422ce3c45504965b523fdf84.tar.xz | |
git-gui: gui.autoexplore makes explorer to pop up automatically after picking
Especially for Windows users used to work with the Windows Explorer,
it is very useful when after picking a repository (either opening
a local one or initializing/cloning a new one) in the "intro" window,
the explorer view of the working copy pops up along the standard
Git GUI window, so that the users can, well, actually work with
the repository.
Signed-off-by: Petr Baudis <petr.baudis@novartis.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
| -rwxr-xr-x | git-gui.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index c4c66c0d8..79a108dba 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -995,6 +995,7 @@ citool { ## ## repository setup +set picked 0 if {[catch { set _gitdir $env(GIT_DIR) set _prefix {} @@ -1006,6 +1007,7 @@ if {[catch { load_config 1 apply_config choose_repository::pick + set picked 1 } if {![file isdirectory $_gitdir] && [is_Cygwin]} { catch {set _gitdir [exec cygpath --windows $_gitdir]} @@ -3376,3 +3378,6 @@ if {[is_enabled multicommit]} { if {[is_enabled retcode]} { bind . <Destroy> {+terminate_me %W} } +if {$picked && [is_config_true gui.autoexplore]} { + do_explore +} |