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. +