patriziobruno / grubreboot-gnome-shell-extensionLinks
gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart
☆22Updated 6 years ago
Alternatives and similar repositories for grubreboot-gnome-shell-extension
Users that are interested in grubreboot-gnome-shell-extension are comparing it to the libraries listed below
Sorting:
- Gnome Shell Extension - Disconnect Wifi☆44Updated 9 months ago
- Google Summer of Code project for GNOME☆50Updated 6 years ago
- Extension Update Notifier☆34Updated 3 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-initial-setup☆24Updated last week
- Flatpak manifest and patches to build Firefox☆69Updated 4 years ago
- ☆18Updated 3 months ago
- A tool to configure GTK theme colors.☆89Updated 7 years ago
- A fork from Slingshot Launcher, which doesn't depend on Gala, Granite or other libraries. It also has an applet for Gnome Flashback and a…☆33Updated 4 years ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Updated 7 years ago
- A GNOME shell extension to show legacy tray icons in the top bar.☆13Updated 8 years ago
- Manage GNOME Shell applications folders☆105Updated last year
- A Gtk application to report missing icons to your theme repository☆19Updated 7 years ago
- An advanced lightweight file search tool☆22Updated 4 years ago
- Wobbly windows and animations logic split out from Compiz☆69Updated 6 years ago
- A simple Git commit message editor for Gnome.☆30Updated 4 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/polari☆64Updated this week
- PKGBUILD's for antergos packages☆112Updated 6 years ago
- GNOME Recipes☆38Updated 7 years ago
- A VPN configuration tool for PIA☆32Updated 6 years ago
- Modern, declarative, structured build format☆55Updated 6 years ago
- Porting various Rhythmbox plugins to work with the new plugin api.☆59Updated 7 years ago
- Better desktop integration for Riot.im (not only) for GNOME☆94Updated 2 years ago
- Gnome shell extension "Random Walls" for gnome 3☆45Updated 3 years ago
- Wine prefix manager☆45Updated 3 years ago
- Wingpanel Network Indicator☆28Updated 3 weeks ago
- Easy to use and Free Multimedia Converter for Linux.☆65Updated 5 years ago
- The MDM Display Manager☆95Updated 6 years ago
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated last year
- elementary icons for LibreOffice☆22Updated 4 years ago
- Gnome-Shell wallpaper changing extension with multiple profile support☆79Updated last year