git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[patch] prefer "git COMMAND" over "git-COMMAND" in gitk

From
Brandon Casey <casey@nrlssc.navy.mil>
Date
Mar 19, 2007, 23:00 UTC
Message-ID
<Pine.LNX.4.64.0703191746150.5525@torch.nrlssc.navy.mil>

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.

Perfect time to say Thanks for the great work.
-brandon

--- gitk.orig 2007-02-13 20:46:46.000000000 -0600 +++ gitk 2007-03-19 17:46:55.142030000 -0500

@@ -1904,7 +1904,7 @@
      } 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
@@ -1956,7 +1956,7 @@
      }
      if {[eof $filehighlight]} {
         # strange...
-       puts "oops, git-diff-tree died"
+       puts "oops, git diff-tree died"
         catch {close $filehighlight}
         unset filehighlight
      }
Next: Paul Mackerras
Message 1 of 2 in “prefer "git COMMAND" over "git-COMMAND" in gitk”
  1. prefer "git COMMAND" over "git-COMMAND" in gitkBrandon Casey, Mar 19, 2007
  2. Paul MackerrasMar 21, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.