gpouilloux / gnome-shell-extension-dockerLinks
An extension for managing docker containers
☆146Updated 3 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☆301Updated 4 years ago
- integrate github's notifications within the gnome desktop environment☆101Updated 3 months ago
- Nautilus/Nemo extension to add important information about the current git directory☆150Updated 7 years ago
- A bash script to search and install extensions from extensions.gnome.org☆207Updated 3 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆261Updated 2 years ago
- Gnome Shell extension for making and uploading screenshots☆268Updated last year
- A full featured MPRIS indicator button extension for GNOME Shell 3.38+☆159Updated 2 years ago
- 📷 Wallpaper App for Linux☆264Updated last year
- Adds Transparency To The Gnome Shell Panel☆226Updated last year
- Random Wallpapers for Gnome 3☆200Updated 2 months ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Updated 6 years ago
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆419Updated 2 months ago
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆82Updated 2 years ago
- Drop Down Terminal extension for the Gnome Shell☆417Updated 4 years ago
- GNOME Shell extension showing a video preview on the corner of the screen☆134Updated 4 years ago
- KDE Connect/MConnect integration for Gnome Shell☆149Updated 8 years ago
- Papirus theme for LibreOffice☆146Updated 5 years ago
- Gnome Shell Extensions etc...☆66Updated 4 years ago
- GNOME Shell Ubuntu community theme "communitheme"☆144Updated 7 years ago
- Sound input/output selector indicator for Linux☆401Updated last year
- Cast files to Chromecast, web browser or media player app over local network.☆297Updated 3 years ago
- Is a modern icon theme for gnome linux versions.☆118Updated 2 years ago
- Gnome Email Notifications☆87Updated 2 years ago
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated 2 years ago
- An extension for managing docker containers☆75Updated last month
- gnome shell extension to only unmute the microphone when you have something to say☆268Updated 3 months ago
- Integrates maximized windows with the top panel☆277Updated 6 years ago
- Syncs gnome shell keybindings, tweaks settings and extensions with their configuration across all gnome installations☆296Updated 2 years ago
- A beautiful theme for Gnome Linux☆95Updated 4 years ago
- ☆55Updated 7 years ago