jaredhocutt.gnome_extensions
Gnome Erweiterungen
Diese Rolle kümmert sich um die Installation der angegebenen Gnome Shell Erweiterungen.
Anforderungen
Die Zielsysteme sollten die folgenden Pakete haben:
- gnome-shell
- unzip
Rollenvariablen
| Variable | Erforderlich | Standard | Beschreibung |
|---|---|---|---|
| gnome_extension_ids | ✔️ | [] |
Eine Liste von Gnome Shell Erweiterungs-IDs, die installiert werden sollen. Die Erweiterungs-ID kann in der URL auf https://extensions.gnome.org/ gefunden werden. Zum Beispiel ist die URL für TopIcons Plus https://extensions.gnome.org/extension/1031/topicons/ und die Erweiterungs-ID ist 1031. |
Abhängigkeiten
Keine
Beispiel-Playbook
- hosts: server
roles:
- role: jaredhocutt.gnome_extensions
vars:
gnome_extension_ids:
- 964
- 770
Lizenz
MIT
Autor Informationen
Jared Hocutt (@jaredhocutt)
Über das Projekt
Installs Gnome extensions specified by the user. Available extensions can be found at https://extensions.gnome.org/
Installieren
ansible-galaxy install jaredhocutt.gnome_extensionsLizenz
mit
Downloads
4k
Besitzer