2018-08-28 04:00:11 +00:00
|
|
|
GNOME-EXTENSIONS(1)
|
|
|
|
===================
|
|
|
|
:man manual: User Commands
|
|
|
|
:man source: GNOME-EXTENSIONS-TOOL
|
|
|
|
:doctype: manpage
|
|
|
|
:date: August 2018
|
|
|
|
|
|
|
|
NAME
|
|
|
|
----
|
|
|
|
gnome-extensions - Command line tool for managing GNOME extensions
|
|
|
|
|
|
|
|
SYNOPSIS
|
|
|
|
--------
|
|
|
|
*gnome-extensions* help ['COMMAND']
|
|
|
|
|
|
|
|
*gnome-extensions* version
|
|
|
|
|
|
|
|
*gnome-extensions* enable 'UUID'
|
|
|
|
|
|
|
|
*gnome-extensions* disable 'UUID'
|
|
|
|
|
2019-07-24 13:18:59 +00:00
|
|
|
*gnome-extensions* reset 'UUID'
|
|
|
|
|
2018-08-28 04:01:30 +00:00
|
|
|
*gnome-extensions* info 'UUID'
|
|
|
|
|
2018-10-18 15:53:30 +00:00
|
|
|
*gnome-extensions* show 'UUID'
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*gnome-extensions* list ['OPTION'...]
|
|
|
|
|
2019-01-11 11:03:17 +00:00
|
|
|
*gnome-extensions* prefs 'UUID'
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*gnome-extensions* create ['OPTION'...]
|
|
|
|
|
2018-08-31 03:14:23 +00:00
|
|
|
*gnome-extensions* pack ['OPTION'...]
|
|
|
|
|
2018-09-03 23:41:55 +00:00
|
|
|
*gnome-extensions* install ['OPTION'...] 'PACK'
|
|
|
|
|
2019-07-11 20:35:49 +00:00
|
|
|
*gnome-extensions* uninstall 'UUID'
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
DESCRIPTION
|
|
|
|
-----------
|
|
|
|
*gnome-extensions* is a utility that makes some common GNOME extensions
|
|
|
|
operations available on the command line.
|
|
|
|
|
2020-03-14 11:58:04 +00:00
|
|
|
COMMON OPTIONS
|
|
|
|
--------------
|
|
|
|
All commands except for *help* and *version* handle the following options:
|
|
|
|
|
|
|
|
*--quiet*, *-q*::
|
|
|
|
Do not print error messages
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
COMMANDS
|
|
|
|
--------
|
|
|
|
*help* ['COMMAND']::
|
|
|
|
Displays a short synopsis of the available commands or provides
|
|
|
|
detailed help on a specific command.
|
|
|
|
|
|
|
|
*version*::
|
|
|
|
Prints the program version.
|
|
|
|
|
|
|
|
*enable* 'UUID'::
|
|
|
|
Enables the extension identified by 'UUID'.
|
|
|
|
+
|
|
|
|
The command will not detect any errors from the extension itself, use the
|
|
|
|
*info* command to confirm that the extension state is *ENABLED*.
|
|
|
|
+
|
|
|
|
If the extension is already enabled, the command will do nothing.
|
|
|
|
|
|
|
|
*disable* 'UUID'::
|
|
|
|
Disables the extension identified by 'UUID'.
|
|
|
|
+
|
|
|
|
If the extension is not enabled, the command will do nothing.
|
|
|
|
|
2019-07-24 13:18:59 +00:00
|
|
|
*reset* 'UUID'::
|
|
|
|
Reset the extension identified by 'UUID'.
|
|
|
|
+
|
|
|
|
The extension will be disabled in GNOME, but may be enabled by other sessions
|
|
|
|
like GNOME Classic.
|
|
|
|
|
2018-08-28 04:01:30 +00:00
|
|
|
*info* 'UUID'::
|
|
|
|
Show details of the extension identified by 'UUID', including name,
|
|
|
|
description and state.
|
|
|
|
|
2018-10-18 15:53:30 +00:00
|
|
|
*show* 'UUID'::
|
|
|
|
Synonym of info.
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*list* ['OPTION'...]::
|
|
|
|
Displays a list of installed extensions.
|
|
|
|
+
|
|
|
|
.Options
|
|
|
|
*--user*;;
|
|
|
|
Include extensions installed in the user's *$HOME*
|
|
|
|
|
|
|
|
*--system*;;
|
|
|
|
Include extensions installed in the system
|
|
|
|
|
|
|
|
*--enabled*;;
|
|
|
|
Include enabled extensions
|
|
|
|
|
|
|
|
*--disabled*;;
|
|
|
|
Include disabled extensions
|
|
|
|
|
2019-01-11 11:18:14 +00:00
|
|
|
*--prefs*;;
|
|
|
|
Only include extensions with preferences
|
|
|
|
|
2019-11-30 18:52:42 +00:00
|
|
|
*--updates*;;
|
|
|
|
Only include extensions with pending updates
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*-d*;;
|
|
|
|
*--details*;;
|
|
|
|
Show some extra information for each extension
|
|
|
|
|
2019-01-11 11:03:17 +00:00
|
|
|
*prefs* 'UUID'::
|
|
|
|
Open the preference dialog of the extension identified by 'UUID'.
|
|
|
|
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*create* ['OPTION'...]::
|
|
|
|
Creates a new extension from a template.
|
|
|
|
+
|
|
|
|
.Options
|
|
|
|
*--name*='NAME':::
|
|
|
|
Set the user-visible name in the extension's metadata
|
|
|
|
to 'NAME'
|
|
|
|
|
|
|
|
*--description*='DESC':::
|
|
|
|
Set the description in the extension's metadata to 'DESC'
|
|
|
|
|
|
|
|
*--uuid*='UUID':::
|
|
|
|
Set the unique extension ID in the metadata to 'UUID'
|
|
|
|
|
2023-08-13 21:46:33 +00:00
|
|
|
*--gettext-domain*='DOMAIN':::
|
|
|
|
Set the gettext domain used by the extension
|
|
|
|
|
2023-08-13 21:58:14 +00:00
|
|
|
*--settings-schema*='SCHEMA':::
|
|
|
|
Set the GSettings schema used by the extension
|
|
|
|
|
2019-11-07 11:46:47 +00:00
|
|
|
*--template*='TEMPLATE':::
|
|
|
|
Use 'TEMPLATE' as base for the new extension
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
*-i*:::
|
|
|
|
*--interactive*:::
|
|
|
|
Prompt for any extension metadata that hasn't been provided
|
|
|
|
on the command line
|
|
|
|
|
2018-08-31 03:14:23 +00:00
|
|
|
*pack* ['OPTION'...] ['SOURCE-DIRECTORY']::
|
|
|
|
Creates an extension bundle that is suitable for publishing.
|
|
|
|
+
|
|
|
|
The bundle will always include the required files extension.js
|
2023-03-21 21:56:27 +00:00
|
|
|
and metadata.json, as well as any of the optional stylesheet.css,
|
|
|
|
stylesheet-dark.css, stylesheet-light.css or prefs.js if found.
|
|
|
|
Each additional source that should be included must be specified
|
|
|
|
with *--extra-source*.
|
2018-08-31 03:14:23 +00:00
|
|
|
+
|
|
|
|
If the extension includes one or more GSettings schemas, they can
|
|
|
|
either be placed in a schemas/ folder to be picked up automatically,
|
|
|
|
or be specified with *--schema*.
|
|
|
|
+
|
|
|
|
Similarily, translations are included automatically when they are
|
|
|
|
located in a po/ folder, otherwise the *--podir* option can be
|
|
|
|
used to point to the correct directory. If no gettext domain is
|
|
|
|
provided on the command line, the value of the *gettext-domain*
|
|
|
|
metadata field is used if it exists, and the extension UUID
|
|
|
|
if not.
|
|
|
|
+
|
|
|
|
All files are searched in 'SOURCE-DIRECTORY' if specified, or
|
|
|
|
the current directory otherwise.
|
|
|
|
+
|
|
|
|
.Options
|
|
|
|
*--extra-source*='FILE':::
|
|
|
|
Additional source to include in the bundle
|
|
|
|
|
|
|
|
*--schema*='SCHEMA':::
|
|
|
|
A GSettings schema that should be compiled and
|
|
|
|
included
|
|
|
|
|
|
|
|
*--podir*='PODIR':::
|
|
|
|
A directory with translations that should be
|
|
|
|
compiled and included
|
|
|
|
|
|
|
|
*--gettext-domain*='DOMAIN':::
|
|
|
|
The gettext domain to use for translations
|
|
|
|
|
|
|
|
*-f*:::
|
|
|
|
*--force*:::
|
|
|
|
Overwrite an existing pack
|
|
|
|
|
|
|
|
*-o*:::
|
|
|
|
*--out-dir*='DIRECTORY':::
|
|
|
|
The directory where the pack should be created
|
|
|
|
|
2018-09-03 23:41:55 +00:00
|
|
|
*install* ['OPTION'...] 'PACK'::
|
|
|
|
Installs an extension from the bundle 'PACK'.
|
|
|
|
+
|
|
|
|
The command unpacks the extension files and moves them to
|
|
|
|
the expected location in the user's *$HOME*, so that it
|
|
|
|
will be loaded in the next session.
|
|
|
|
+
|
|
|
|
It is mainly intended for testing, not as a replacement for
|
2021-08-18 15:20:49 +00:00
|
|
|
the extension website. As extensions have privileged access
|
|
|
|
to the user's session, it is advised to never load extensions
|
|
|
|
from untrusted sources without carefully reviewing their content.
|
2018-09-03 23:41:55 +00:00
|
|
|
+
|
|
|
|
.Options
|
|
|
|
*--force*:::
|
|
|
|
Override an existing extension
|
2018-08-28 04:00:11 +00:00
|
|
|
|
2019-07-11 20:35:49 +00:00
|
|
|
*uninstall* 'UUID'::
|
|
|
|
Uninstalls the extension identified by 'UUID'.
|
|
|
|
|
|
|
|
|
2018-08-28 04:00:11 +00:00
|
|
|
EXIT STATUS
|
|
|
|
-----------
|
|
|
|
On success 0 is returned, a non-zero failure code otherwise.
|
|
|
|
|
|
|
|
BUGS
|
|
|
|
----
|
|
|
|
The tool is part of the gnome-shell project, and bugs should be reported
|
|
|
|
in its issue tracker at https://gitlab.gnome.org/GNOME/gnome-shell/issues.
|