jaredhocutt.gnome_extensions
Extensions Gnome
Ce rôle gère l'installation des extensions spécifiées pour Gnome Shell.
Exigences
Les hôtes que vous ciblez doivent avoir les paquets suivants :
- gnome-shell
- unzip
Variables du Rôle
| Variable | Obligatoire | Par défaut | Description |
|---|---|---|---|
| gnome_extension_ids | ✅ | [] |
Une liste d'ID d'extensions Gnome Shell à installer. L'ID de l'extension peut être trouvé dans l'URL sur https://extensions.gnome.org/. Par exemple, l'URL de TopIcons Plus est https://extensions.gnome.org/extension/1031/topicons/ et l'ID de l'extension est 1031. |
Dépendances
Aucune
Exemple de Playbook
- hosts: serveurs
roles:
- role: jaredhocutt.gnome_extensions
vars:
gnome_extension_ids:
- 964
- 770
Licence
MIT
Informations sur l'Auteur
Jared Hocutt (@jaredhocutt)
À propos du projet
Installs Gnome extensions specified by the user. Available extensions can be found at https://extensions.gnome.org/
Installer
ansible-galaxy install jaredhocutt.gnome_extensionsLicence
mit
Téléchargements
4k
Propriétaire