https://github.com/essembeh/gnome-extensions-cli

Command line tool to manage your Gnome Shell extensions

gnome gnome-shell gnome-shell-extension

Last synced: 14 Dec 2025

https://github.com/essembeh/properties-tools

Command line tool to compare *properties* files and print differences with colors as if you were using `diff` or `colordiff` tools.

Last synced: 05 Apr 2026