extension-manager

Extension Manager

A utility tool for managing GNOME Shell Extensions

A utility for browsing and installing GNOME Shell Extensions.

GitHub

1k stars
11 watching
81 forks
Language: C
last commit: 2 months ago
Linked from 2 awesome lists

cgnomegnome-extensiongnome-shellgnome-shell-extensiongtk4libadwaita

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
joaom00/gh-b A GitHub CLI extension to manage branches 60
gnome/gdm Manages graphical log-ins and displays for a desktop environment. 99
pgxn/pgxnclient A command-line tool for managing PostgreSQL extensions from the Extension Network. 143
alajmo/mani A tool to manage multiple repositories from the command line 449
gnome-terminator/terminator A tool for organizing and managing multiple terminals in a single window 2,155
kong/gateway-operator A Kubernetes operator that manages Kong Gateways and provides features like deployment, configuration, upgrades, and scaling. 56
orhun/pkgtop A tool for managing packages and monitoring system resources on GNU/Linux systems 314
extdn/extension-dashboard-m2 Provides a Magento 2 dashboard to review installed extensions 38
ubuntu/gnome-shell-extension-appindicator A GNOME Shell extension that integrates Ubuntu AppIndicators and KStatusNotifierItems into the desktop environment 1,210
uniget-org/cli A tool for automating the installation and management of container tools and related utilities on Linux systems. 15
powerman/dockerize Utility to simplify running applications in docker containers by automating configuration and log handling. 186
nektro/zigmod A tool for managing packages for the Zig programming language. 782
zigtools/zpm A tool to help manage dependencies and packages for the Zig programming language 91
mdbergmann/cl-tbnl-gserver-tmgr An experimental task manager that uses Hunchentoot's GServer to manage concurrent requests 22
mallgroup/mal-mongster A tool to manage and cluster MongoDB databases in a simple web-based interface. 7