[PATCH] prefer "git COMMAND" over "git-COMMAND" in gitk
Preferring git _space_ COMMAND over git _dash_ COMMAND allows the user to have only git and gitk in their path. e.g. when git and gitk are symbolic links in a personal bin directory to the real git and gitk. Signed-off-by: Paul Mackerras <paulus@samba.org>
This commit is contained in:
parent
e7a0919115
commit
1ce09dd678
4
gitk
4
gitk
@ -1906,7 +1906,7 @@ proc do_file_hl {serial} {
|
|||||||
} else {
|
} else {
|
||||||
set gdtargs [list "-S$highlight_files"]
|
set gdtargs [list "-S$highlight_files"]
|
||||||
}
|
}
|
||||||
set cmd [concat | git-diff-tree -r -s --stdin $gdtargs]
|
set cmd [concat | git diff-tree -r -s --stdin $gdtargs]
|
||||||
set filehighlight [open $cmd r+]
|
set filehighlight [open $cmd r+]
|
||||||
fconfigure $filehighlight -blocking 0
|
fconfigure $filehighlight -blocking 0
|
||||||
fileevent $filehighlight readable readfhighlight
|
fileevent $filehighlight readable readfhighlight
|
||||||
@ -1958,7 +1958,7 @@ proc readfhighlight {} {
|
|||||||
}
|
}
|
||||||
if {[eof $filehighlight]} {
|
if {[eof $filehighlight]} {
|
||||||
# strange...
|
# strange...
|
||||||
puts "oops, git-diff-tree died"
|
puts "oops, git diff-tree died"
|
||||||
catch {close $filehighlight}
|
catch {close $filehighlight}
|
||||||
unset filehighlight
|
unset filehighlight
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user