diff options
| author | Shawn O. Pearce <spearce@spearce.org> | 2007-02-14 00:28:00 -0500 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-02-14 00:28:00 -0500 |
| commit | ed3adde081645c5f93685b22d39f2d74e068873d (patch) | |
| tree | 7983d28082a8e6036b9c1ed2e674b3c00e3b039e | |
| parent | 5ac58f5ba1392416a911c618abba6d874987a1b0 (diff) | |
| download | git-ed3adde081645c5f93685b22d39f2d74e068873d.tar.gz | |
git-gui: Print version on the console.
Like `git version`, `git gui version` (or `git gui --version`) shows
the version of git-gui, in case the user needs to know this, without
looking at it in the GUI about dialog.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
| -rwxr-xr-x | git-gui.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index b3a80c64ef..04afb36343 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -4987,6 +4987,8 @@ enable_option branch enable_option transport switch -- $subcommand { +--version - +version - blame { disable_option multicommit disable_option branch @@ -5322,6 +5324,11 @@ bind all <$M1B-Key-W> {destroy [winfo toplevel %W]} # -- Not a normal commit type invocation? Do that instead! # switch -- $subcommand { +--version - +version { + puts "git-gui version $appvers" + exit +} blame { if {[llength $argv] != 2} { puts stderr "usage: $argv0 blame commit path" |