eddyhub.gnome_shell
gnome shell
Installe gnome-shell et ajoute un module pour gérer les extensions de gnome-shell
Exigences
Ce rôle nécessite Ansible 2.0 ou supérieur.
Variables du rôle
| Nom | Par défaut | Description |
|---|---|---|
| gnome_extension_path | /usr/share/gnome-shell/extensions/ | chemin vers les extensions |
| gnome_extension_owner | root | propriétaire de l'extension |
| gnome_shell_extensions | [] | identifiants des extensions à installer |
Dépendances
Exemple de Playbook
Installer gnome-shell et les extensions :
- https://extensions.gnome.org/extension/442/drop-down-terminal/
- https://extensions.gnome.org/extension/1005/focus-my-window/
- hosts: all
roles:
- { role: ansible-gnome_shell, gnome_extension_path: /home/edi/.local/share/gnome-shell/extensions/, gnome_extension_owner: edi, gnome_shell_extensions: [442, 1005] }
Licence
BSD
Informations sur l'auteur
Eduard Angold