* ml/windows-tie-loose-ends:
git-gui: use /cmd/git-gui.exe for shortcut
git-gui: Windows tk_getSaveFile is not useful for shortcuts
git-gui: let nice work on Windows
git-gui: do not add directories to PATH on Windows
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
if {[is_Windows]} {
set _path_sep {;}
- set _search_exe .exe
} else {
set _path_sep {:}
- set _search_exe {}
}
- if {[is_Windows]} {
- set gitguidir [file dirname [info script]]
- regsub -all ";" $gitguidir "\\;" gitguidir
- set env(PATH) "$gitguidir;$env(PATH)"
- }
-
set _search_path {}
set _path_seen [dict create]
foreach p [split $env(PATH) $_path_sep] {