gpouilloux / gnome-shell-extension-dockerLinks
An extension for managing docker containers
☆146Updated 2 years ago
Alternatives and similar repositories for gnome-shell-extension-docker
Users that are interested in gnome-shell-extension-docker are comparing it to the libraries listed below
Sorting:
- Gnome Email Notifications☆86Updated last year
- Better touchpad gesture handling for GNOME☆300Updated 4 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆262Updated last year
- 📷 Wallpaper App for Linux☆265Updated last year
- A full featured MPRIS indicator button extension for GNOME Shell 3.38+☆160Updated 2 years ago
- Clipboard Manager for elementary OS☆101Updated 3 years ago
- Nautilus/Nemo extension to add important information about the current git directory☆149Updated 6 years ago
- integrate github's notifications within the gnome desktop environment☆99Updated last year
- Adds Transparency To The Gnome Shell Panel☆228Updated 11 months ago
- GNOME Shell extension showing a video preview on the corner of the screen☆135Updated 3 years ago
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆83Updated last year
- Apply a Blur Effect to GNOME Shell UI elements☆222Updated 3 years ago
- Gnome Shell extension for making and uploading screenshots☆266Updated 5 months ago
- An extension for managing docker containers☆72Updated 2 months ago
- Minimize any app to tray☆62Updated 3 years ago
- Allow to connect bluetooth paired devices from gnome control panel.☆261Updated last year
- ☆55Updated 6 years ago
- Drop Down Terminal extension for the Gnome Shell☆415Updated 3 years ago
- Gnome GDM Login Theme Manager. Easy and Fast Login Theme Manipulation☆197Updated 2 years ago
- KDE Connect/MConnect integration for Gnome Shell☆150Updated 7 years ago
- Papirus theme for LibreOffice☆147Updated 4 years ago
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆70Updated last year
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆119Updated 4 years ago
- Gnome Shell extension for displaying resource usage☆90Updated last week
- Fixes Hardcoded Icons☆290Updated last year
- ☆198Updated 2 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆375Updated 5 years ago
- Gnome Shell Extensions etc...☆66Updated 3 years ago
- A theme for Firefox 57+ matching GNOME Adwaita.☆198Updated 6 years ago
- gnome shell extension to only unmute the microphone when you have something to say☆259Updated last month