2022-11-17 22:04:23 -08:00
|
|
|
- name: Install gnome extensions
|
|
|
|
|
include_role:
|
|
|
|
|
name: ansible-role-customize-gnome
|
|
|
|
|
vars:
|
2022-11-23 01:26:33 -08:00
|
|
|
# For now extensions aren't enabled (https://github.com/PeterMosmans/ansible-role-customize-gnome/issues/25)
|
2022-11-17 22:04:23 -08:00
|
|
|
gnome_extensions:
|
2022-11-23 01:26:33 -08:00
|
|
|
- id: 779 # https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator
|
|
|
|
|
- id: 4362 # https://github.com/Noobsai/fullscreen-avoider
|
|
|
|
|
- id: 1460 # https://github.com/corecoding/Vitals
|
|
|
|
|
- id: 7 # https://gitlab.gnome.org/GNOME/gnome-shell-extensions
|
2022-11-17 22:04:23 -08:00
|
|
|
gnome_user: "{{ user }}"
|
