1.2 KiB

GNOME Extensions Manager

Description

This role manages GNOME Shell extensions by ensuring user extensions are enabled and by installing the CLI GNOME Extension Manager. The CLI tool facilitates the configuration and control of GNOME extensions via the command line.

Learn more about the CLI tool on its GitHub page and about GNOME Extensions at GNOME Extensions.

Purpose

The purpose of this role is to enhance and customize the GNOME desktop environment by managing shell extensions. It simplifies the process of installing and configuring extensions, thereby improving productivity and desktop functionality.

Features

  • Activates GNOME Shell extensions via gsettings.
  • Installs the CLI GNOME Extension Manager using the package manager.
  • Executes extension configuration commands for streamlined management.
  • Provides an automated method for managing and updating GNOME extensions.

Credits

Developed and maintained by Kevin Veen-Birkenbach.
Learn more at www.veen.world

License: CyMaIS NonCommercial License (CNCL)