jaredhocutt.gnome_extensions
Gnome Extensions
This role is for installing the specified Gnome Shell extensions.
Requirements
The target hosts must have the following packages installed:
- gnome-shell
- unzip
Role Variables
| Variable | Required | Default | Description |
|---|---|---|---|
| gnome_extension_ids | ✔️ | [] |
A list of Gnome Shell extension IDs to install. You can find the extension ID in the URL on https://extensions.gnome.org/. For example, for the TopIcons Plus extension at https://extensions.gnome.org/extension/1031/topicons/, the extension ID is 1031. |
Dependencies
None
Example Playbook
- hosts: servers
roles:
- role: jaredhocutt.gnome_extensions
vars:
gnome_extension_ids:
- 964
- 770
License
MIT
Author Information
Jared Hocutt (@jaredhocutt)
Informazioni sul progetto
Installs Gnome extensions specified by the user. Available extensions can be found at https://extensions.gnome.org/
Installa
ansible-galaxy install jaredhocutt.gnome_extensionsLicenza
mit
Download
4k
Proprietario