diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2010-08-02 09:28:30 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-08-02 09:28:30 -0700 |
| commit | c01a29c74ff991faf3012882fbf676b182b8893f (patch) | |
| tree | aea256176929d2bc66f77fde7dad2f7d7298154e /git-gui/windows | |
| parent | Documentation/rev-parse: quoting is required with --parseopt (diff) | |
| parent | git-gui: fix size and position of window panes on startup (diff) | |
| download | tgif-c01a29c74ff991faf3012882fbf676b182b8893f.tar.xz | |
Merge git://repo.or.cz/git-gui into pt/git-gui
* git://repo.or.cz/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')
| -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 66bbb2f8fa..b1845c5055 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 |