diff options
| author | Junio C Hamano <gitster@pobox.com> | 2010-08-03 15:16:38 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-08-03 15:16:38 -0700 |
| commit | e9aa24123d0ff8914a34a9f40f23bf736ec2bfb7 (patch) | |
| tree | d472e18b2c3fd15754e50f1511459844a992f740 /git-gui/windows/git-gui.sh | |
| parent | 7d808125a0197e5660a57f77d14937604b16e39a (diff) | |
| parent | c01a29c74ff991faf3012882fbf676b182b8893f (diff) | |
| download | git-e9aa24123d0ff8914a34a9f40f23bf736ec2bfb7.tar.gz git-e9aa24123d0ff8914a34a9f40f23bf736ec2bfb7.tar.xz | |
Merge branch 'pt/git-gui' into maint
* pt/git-gui:
git-gui: fix size and position of window panes on startup
git-gui: mc cannot be used before msgcat has been loaded
git-gui: use textconv filter for diff and blame
git-gui: Avoid using the <<Copy>> binding as a menu accelerator on win32
git-gui: fix shortcut creation on cygwin
git-gui: fix PATH environment for mingw development environment
git-gui: fix usage of _gitworktree when creating shortcut for windows
git-gui: fix "Explore Working Copy" for Windows again
git-gui: fix usage of themed widgets variable
git-gui: Handle failure of core.worktree to identify the working directory.
git-gui: check whether systems nice command works or disable it
Diffstat (limited to 'git-gui/windows/git-gui.sh')
| -rw-r--r-- | git-gui/windows/git-gui.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-gui/windows/git-gui.sh b/git-gui/windows/git-gui.sh index 66bbb2f8f..b1845c505 100644 --- a/git-gui/windows/git-gui.sh +++ b/git-gui/windows/git-gui.sh @@ -13,10 +13,11 @@ if { $argc >=2 && [lindex $argv 0] == "--working-dir" } { incr argc -2 } -set bindir [file dirname \ +set basedir [file dirname \ [file dirname \ [file dirname [info script]]]] -set bindir [file join $bindir bin] +set bindir [file join $basedir bin] +set bindir "$bindir;[file join $basedir mingw bin]" regsub -all ";" $bindir "\\;" bindir set env(PATH) "$bindir;$env(PATH)" unset bindir |