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>

diff --git a/git-gui.sh b/git-gui.sh
index b3a80c64efd8e4a150323e551918e969af8ebd41..04afb36343410ca235b2fd5b8b8b4b7b8859d931 100755 (executable)
--- 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"