extension-manager
Extension Manager
A utility tool for managing GNOME Shell Extensions
A utility for browsing and installing GNOME Shell Extensions.
1k stars
11 watching
81 forks
Language: C
last commit: 11 months ago
Linked from 2 awesome lists
cgnomegnome-extensiongnome-shellgnome-shell-extensiongtk4libadwaita
luong-komorebi/awesome-linux-software
uhub/awesome-cRelated 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 |