diff options
| author | Kyle Meyer <kyle@kyleam.com> | 2018-07-07 00:41:35 -0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-07 18:10:31 +0200 |
| commit | 85c3fbf5de29bf7c08e445bab9b985a7b84b6406 (patch) | |
| tree | 23c58c3d3e84a07de1b02f525e08cef1279053c1 | |
| parent | 7ede577a5f90a459b731eeb025af450ff891603c (diff) | |
| download | guix-85c3fbf5de29bf7c08e445bab9b985a7b84b6406.tar.gz | |
ui: Add -V as short option for --version.
* guix/ui.scm (run-guix): Add -V as the short option for --version for consistency with most commands. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | guix/ui.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/ui.scm b/guix/ui.scm index 66c9233b44..6a5feaa953 100644 --- a/guix/ui.scm +++ b/guix/ui.scm @@ -9,6 +9,7 @@ ;;; Copyright © 2015, 2016 Mathieu Lirzin <mthl@gnu.org> ;;; Copyright © 2016 Roel Janssen <roel@gnu.org> ;;; Copyright © 2016 Benz Schenk <benz.schenk@uzh.ch> +;;; Copyright © 2018 Kyle Meyer <kyle@kyleam.com> ;;; ;;; This file is part of GNU Guix. ;;; @@ -1598,7 +1599,7 @@ and signal handling has already been set up." (show-guix-usage)) ((or ("-h") ("--help")) (show-guix-help)) - (("--version") + ((or ("-V") ("--version")) (show-version-and-exit "guix")) (((? option? o) args ...) (format (current-error-port) |