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:
- A full featured MPRIS indicator button extension for GNOME Shell 3.38+β160Updated 2 years ago
- π· Wallpaper App for Linuxβ265Updated last year
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.β84Updated last year
- A bash script to search and install extensions from extensions.gnome.orgβ205Updated 2 years ago
- Gnome Shell extension for making and uploading screenshotsβ266Updated 7 months ago
- integrate github's notifications within the gnome desktop environmentβ99Updated 2 years ago
- Nautilus/Nemo extension to add important information about the current git directoryβ149Updated 6 years ago
- GNOME Shell extension showing a video preview on the corner of the screenβ135Updated 4 years ago
- 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
- Gnome Email Notificationsβ86Updated 2 years ago
- Adds Transparency To The Gnome Shell Panelβ228Updated last year
- A mediaplayer indicator for GNOME Shell 3.18+.β376Updated 6 years ago
- Random Wallpapers for Gnome 3β194Updated last month
- Pause/Resume your music player when locking/unlocking your Linux desktop.β87Updated 4 years ago
- Sound input/output selector indicator for Linuxβ391Updated 11 months ago
- Integrates maximized windows with the top panelβ276Updated 6 years ago
- Gnome-Shell wallpaper changing extension with multiple profile supportβ79Updated last week
- An extension for managing docker containersβ72Updated 4 months ago
- A tiling window extension for GNOME Shellβ642Updated 2 years ago
- Clipboard Manager for elementary OSβ101Updated 3 years ago
- System monitor indicator for Wingpanelβ87Updated 5 years ago
- Gnome Shell Extensions etc...β66Updated 4 years ago
- GNOME Shell Ubuntu community theme "communitheme"β146Updated 7 years ago
- An gnome-shell extension that makes window movement a lot easier.β288Updated 3 weeks 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
- Gnome Shell Extension that allows to start and stop systemd servicesβ79Updated 4 years ago
- gnome shell extension to only unmute the microphone when you have something to sayβ261Updated 3 months ago
- KDE Connect/MConnect integration for Gnome Shellβ150Updated 7 years ago
- Apply a Blur Effect to GNOME Shell UI elementsβ222Updated 3 years ago