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
80 forks
Language: C
last commit: 7 days 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 59
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. 140
alajmo/mani A tool to manage multiple repositories from the command line 447
gnome-terminator/terminator A terminal emulator that allows multiple terminals to be created and managed in a single window. 2,132
kong/gateway-operator A Kubernetes Operator that manages Kong Gateways and enables deployment, configuration, and management of Kong services. 52
orhun/pkgtop A tool for managing packages and monitoring system resources on GNU/Linux systems 311
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,205
uniget-org/cli A tool for automating the installation and management of container tools and related utilities on Linux systems. 14
powerman/dockerize Utility to simplify running applications in docker containers by automating configuration and log handling. 185
nektro/zigmod A package manager for the Zig programming language. 769
zigtools/zpm A tool to help manage dependencies and packages for the Zig programming language 90
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