Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
[PATCH] prefer "git COMMAND" over "git-COMMAND" in gitk
author
Brandon Casey
<casey@nrlssc.navy.mil>
Mon, 19 Mar 2007 23:00:37 +0000
(18:00 -0500)
committer
Paul Mackerras
<paulus@samba.org>
Wed, 21 Mar 2007 11:02:19 +0000
(22:02 +1100)
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>
gitk
patch
|
blob
|
history
raw
|
patch
|
inline
| side by side (parent:
e7a0919
)
diff --git
a/gitk
b/gitk
index 1cd2a8f5287f97547386f91f2f226cd7dacd0f30..db28d745dc005722ff3d7c071aeb37f9fd4fdc21 100755
(executable)
--- a/
gitk
+++ b/
gitk
@@
-1906,7
+1906,7
@@
proc do_file_hl {serial} {
} else {
set gdtargs [list "-S$highlight_files"]
}
} else {
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+]
fconfigure $filehighlight -blocking 0
fileevent $filehighlight readable readfhighlight
set filehighlight [open $cmd r+]
fconfigure $filehighlight -blocking 0
fileevent $filehighlight readable readfhighlight
@@
-1958,7
+1958,7
@@
proc readfhighlight {} {
}
if {[eof $filehighlight]} {
# strange...
}
if {[eof $filehighlight]} {
# strange...
- puts "oops, git
-
diff-tree died"
+ puts "oops, git
diff-tree died"
catch {close $filehighlight}
unset filehighlight
}
catch {close $filehighlight}
unset filehighlight
}