fffilo / gnome-vagrant-indicator
Easily manage your vagrant machines from status area
☆25Updated 2 years ago
Alternatives and similar repositories for gnome-vagrant-indicator:
Users that are interested in gnome-vagrant-indicator are comparing it to the libraries listed below
- GNOME Shell Extensions - Backup Tools / 备份工具☆15Updated 4 years ago
- Plasmoid for KDE Plasma to control docker containers☆43Updated 4 years ago
- Ulauncher extension to interact with GitLab.☆23Updated last month
- Web frontend for viewing AppCenter apps☆44Updated 3 weeks ago
- [UNMAINTAINED] ZevDocs documentation browser☆31Updated 5 years ago
- [DEPRECATED] Plot out your own timetable for the week and organize it☆6Updated 5 years ago
- Ulauncher extension to search documentation on DevDocs☆38Updated 2 years ago
- Reusable GitHub Actions for elementary apps☆38Updated 5 months ago
- The official PHP bouncers library for the CrowdSec LAPI☆15Updated last month
- A GNOME Shell extension to synchronize your user icon with Gravatar.☆32Updated last year
- Wingpanel Ayatana-Compatibility Indicator☆11Updated 7 years ago
- ☆9Updated 7 years ago
- a universal app manager for *buntu systems☆9Updated 4 years ago
- This library is a refactor of J Randolph Smith's 2007 nDialog class. Fully functional, ready to use and with examples. PHP 5.4+☆15Updated 3 years ago
- Linux initialization and useful scripts for Shells™☆23Updated this week
- Nextcloud coding standards for php cs fixer☆12Updated 2 months ago
- Extension Update Notifier☆33Updated 3 years ago
- Frontend to elementary OS Builds☆13Updated last week
- Fedora GNOME light & dark themes for Visual Studio Code☆14Updated 3 years ago
- Faenza-icon-theme Addon for Xfce☆12Updated 11 years ago
- The GNOME Shell theme for Pop!_OS☆36Updated 5 years ago
- Bloody variant of the Ant theme☆46Updated 2 weeks ago
- Gnome Shell Extensions etc...☆66Updated 3 years ago
- Mailnag GNOME-Shell extension☆36Updated last year
- A manager for the bookmarks in your .ssh/config file for elementaryOS☆28Updated 3 years ago
- ☆18Updated last week
- An app for elementary OS to manage your /etc/hosts file.☆10Updated 3 years ago
- A simple script to transform your boring terminal into A DROP DOWN boring terminal☆20Updated 5 years ago
- a news and weather feed for Linux☆42Updated 5 years ago
- An application to monitor your habits with your PC. So you can study how many kilometers travel with your mouse or how many keystrokes.☆22Updated 2 years ago