philipphoffmann / gnome3-jenkins-indicatorLinks
Gnome 3 Shell Extension to represent the current state of all jobs of a Jenkins CI Server
☆53Updated 7 years ago
Alternatives and similar repositories for gnome3-jenkins-indicator
Users that are interested in gnome3-jenkins-indicator are comparing it to the libraries listed below
Sorting:
- An extension for managing docker containers☆146Updated 3 years ago
- Unofficial Microsoft Teams for Linux client☆321Updated 2 years ago
- Web Skype + Tray Icon + Notifications☆716Updated 2 years ago
- ☆427Updated last year
- gnome shell extension that tiles windows as you like.☆202Updated 8 years ago
- ScudCloud - Slack for Linux☆1,216Updated 7 years ago
- Gnome-Shell Extension: Easily switch between your audio outputs from the system menu☆18Updated 8 years ago
- Nuvola Player - Tight integration of web-based media streaming services with your desktop☆332Updated 3 years ago
- An Apple's TimeMachine clone for Linux☆177Updated 7 years ago
- Moved to gitlab☆236Updated 6 years ago
- An Electron wrapper of Spotify Web Player to increase desktop integration for a stable Spotify Player for Linux replacement☆204Updated 8 years ago
- ☆285Updated 3 years ago
- An gnome-shell extension that makes window movement a lot easier.☆288Updated 2 weeks ago
- A Philips Hue client for Linux written in Python and GTK+.☆156Updated 5 years ago
- Sound input/output selector indicator for Linux☆396Updated last year
- A tiling window extension for GNOME Shell☆643Updated 2 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆377Updated 6 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆261Updated 2 years ago
- Create silent mkv screencast and animated gif.☆515Updated 3 years ago
- DO NOT USE; GNOME NOW INCLUDES THE FEATURE ALREADY! – A redshift extension for gnome-shell – Obsolete with GNOME 3.26! Use the buildin ni…☆71Updated 8 years ago
- Pause/Resume your music player when locking/unlocking your Linux desktop.☆87Updated 4 years ago
- Vagrant plugin to allow the guest to export a mount and the host to mount it.☆92Updated 4 years ago
- Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way.☆681Updated 2 years ago
- Network monitoring Ubuntu indicator that constantly pings given servers and shows latency on logarithm scale☆90Updated 5 years ago
- Spotify music player native client☆47Updated this week
- How to install Ubuntu on a Dell XPS 15 2019☆113Updated 5 years ago
- The linux desktop application for todoist☆187Updated 2 years ago
- [NO LONGER MAINTAINED] Deezer Desktop for Linux☆36Updated 6 years ago
- A GNOME Shell extension to synchronize your user icon with Gravatar.☆32Updated 2 years ago
- Official continuation of Ceti for Gnome 3.14, 3.16 and 3.18☆130Updated 5 years ago