[gnome-shell] extensions-tool: Show Philip some info

[Florian Müllner <fmuellner src gnome org>]

commit 369e400e323ffbfcd32e332cb0111295101c7b95
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 18 17:53:30 2018 +0200

    extensions-tool: Show Philip some info
    
    Add a 'show' alias for the previously added 'info' command
    because it makes sense:
    
    https://twitter.com/pwithnall/status/1036895943004762112
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234

 src/extensions-tool/completion/bash/gnome-extensions | 4 ++--
 src/extensions-tool/main.c                           | 3 +++
 src/extensions-tool/man/gnome-extensions.txt         | 5 +++++
 3 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/src/extensions-tool/completion/bash/gnome-extensions 
b/src/extensions-tool/completion/bash/gnome-extensions
index e0286729b2..91a4d6894f 100644
--- a/src/extensions-tool/completion/bash/gnome-extensions
+++ b/src/extensions-tool/completion/bash/gnome-extensions
@@ -5,7 +5,7 @@
 ################################################################################
 
 __gnome_extensions() {
-  local commands="version enable disable info list create"
+  local commands="version enable disable info show list create"
   local COMMAND=${COMP_WORDS[1]}
 
   _init_completion -s || return
@@ -29,7 +29,7 @@ __gnome_extensions() {
         enable)
           local list_opt=--disabled
           ;;&
-        enable|disable|info)
+        enable|disable|info|show)
           COMPREPLY=($(compgen -W "`gnome-extensions list $list_opt`" -- "$2"))
           return 0
           ;;
diff --git a/src/extensions-tool/main.c b/src/extensions-tool/main.c
index 5925306113..c5b0d5bd7d 100644
--- a/src/extensions-tool/main.c
+++ b/src/extensions-tool/main.c
@@ -160,6 +160,7 @@ usage (void)
   g_printerr ("  disable   %s\n", _("Disable extension"));
   g_printerr ("  list      %s\n", _("List extensions"));
   g_printerr ("  info      %s\n", _("Show extension info"));
+  g_printerr ("  show      %s\n", _("Show extension info"));
   g_printerr ("  create    %s\n", _("Create extension"));
   g_printerr ("\n");
   g_printerr (_("Use %s to get detailed help.\n"), "“gnome-extensions help COMMAND”");
@@ -222,6 +223,8 @@ main (int argc, char *argv[])
     return handle_list (argc, argv, do_help);
   else if (g_str_equal (command, "info"))
     return handle_info (argc, argv, do_help);
+  else if (g_str_equal (command, "show"))
+    return handle_info (argc, argv, do_help);
   else if (g_str_equal (command, "create"))
     return handle_create (argc, argv, do_help);
   else
diff --git a/src/extensions-tool/man/gnome-extensions.txt b/src/extensions-tool/man/gnome-extensions.txt
index d3f7137c98..80d0307b10 100644
--- a/src/extensions-tool/man/gnome-extensions.txt
+++ b/src/extensions-tool/man/gnome-extensions.txt
@@ -21,6 +21,8 @@ SYNOPSIS
 
 *gnome-extensions* info 'UUID'
 
+*gnome-extensions* show 'UUID'
+
 *gnome-extensions* list ['OPTION'...]
 
 *gnome-extensions* create ['OPTION'...]
@@ -56,6 +58,9 @@ If the extension is not enabled, the command will do nothing.
 Show details of the extension identified by 'UUID', including name,
 description and state.
 
+*show* 'UUID'::
+Synonym of info.
+
 *list* ['OPTION'...]::
 Displays a list of installed extensions.
 +