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:
- Better touchpad gesture handling for GNOME☆300Updated 4 years ago
- Gnome Email Notifications☆86Updated last year
- A full featured MPRIS indicator button extension for GNOME Shell 3.38+☆160Updated 2 years ago
- Gnome Shell extension for making and uploading screenshots☆266Updated 6 months ago
- integrate github's notifications within the gnome desktop environment☆99Updated 2 years ago
- An gnome-shell extension that makes window movement a lot easier.☆288Updated last week
- 📷 Wallpaper App for Linux☆266Updated last year
- Nautilus/Nemo extension to add important information about the current git directory☆149Updated 6 years ago
- An extension for managing docker containers☆72Updated 3 months ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆262Updated last year
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated last year
- Adds Transparency To The Gnome Shell Panel☆228Updated last year
- GNOME Shell extension showing a video preview on the corner of the screen☆135Updated 4 years ago
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆84Updated last year
- GNOME Shell Ubuntu community theme "communitheme"☆146Updated 6 years ago
- A bash script to search and install extensions from extensions.gnome.org☆206Updated 2 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆375Updated 6 years ago
- Gnome Shell extension for displaying resource usage☆90Updated last month
- Gnome Shell Extension: Adds a switch for choosing audio output to the system menu.☆114Updated 2 years ago
- KDE Connect/MConnect integration for Gnome Shell☆150Updated 7 years ago
- Sound input/output selector indicator for Linux☆389Updated 10 months ago
- Random Wallpapers for Gnome 3☆193Updated 2 weeks ago
- ☆55Updated 6 years ago
- Gnome Shell Extension that allows to start and stop systemd services☆79Updated 4 years ago
- A tiling window extension for GNOME Shell☆641Updated 2 years ago
- Clipboard Manager for elementary OS☆101Updated 3 years ago
- Gnome-Shell wallpaper changing extension with multiple profile support☆79Updated last year
- The GNOME Shell theme for Pop!_OS☆36Updated 5 years ago
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆407Updated 3 months ago
- An Electron wrapper of Spotify Web Player to increase desktop integration for a stable Spotify Player for Linux replacement☆204Updated 8 years ago