From 369e400e323ffbfcd32e332cb0111295101c7b95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 18 Oct 2018 17:53:30 +0200
Subject: [PATCH] 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 e0286729b..91a4d6894 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 592530611..c5b0d5bd7 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 d3f7137c9..80d0307b1 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.
 +