eddyhub.gnome_shell
gnome shell
==========
This role installs gnome-shell and adds a module to manage gnome-shell extensions.
Requirements
You need Ansible version 2.0 or higher to use this role.
Role Variables
| Name | Default | Description |
|---|---|---|
| gnome_extension_path | /usr/share/gnome-shell/extensions/ | This is the path where extensions are stored. |
| gnome_extension_owner | root | This is the owner of the extensions. |
| gnome_shell_extensions | [] | A list of IDs for the extensions that should be installed. |
Dependencies
Example Playbook
To install gnome-shell along with the extensions:
Here’s how you can set it up in your playbook:
- 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] }
License
BSD
Author Information
Eduard Angold