patriziobruno / grubreboot-gnome-shell-extension
gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart
☆22Updated 5 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
- An advanced lightweight file search tool☆21Updated 4 years ago
- KDE mozilla integration☆17Updated 10 months ago
- A Gtk application to report missing icons to your theme repository☆19Updated 7 years ago
- Extension Update Notifier☆33Updated 2 years ago
- Wine prefix manager☆45Updated 3 years ago
- Gnome Shell Extension - Disconnect Wifi☆44Updated 3 months ago
- MOVED: https://gitlab.com/bharadwaj-raju/QOverview☆47Updated 6 years ago
- ZSH completion for Flatpak☆37Updated 3 months ago
- elementary icons for LibreOffice☆22Updated 3 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
- Compact version of gnome default theme "Adwaita" -- Not maintained. Use https://github.com/godlyranchdressing/Minwaita☆30Updated 7 years ago
- GNOME 3 theme for Thunderbird (previously known as Adwaita)☆34Updated 9 years ago
- Flatpak packaging files for some KDE Applications☆38Updated 9 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/polari☆61Updated 2 weeks ago
- Mailnag GNOME-Shell extension☆36Updated last year
- workarounds for problems with Steam on Linux☆23Updated 3 years ago
- A tool to configure GTK theme colors.☆89Updated 7 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-usage☆20Updated this week
- Flatpak manifest and patches to build Firefox☆30Updated 4 years ago
- ☆18Updated last month
- Next Generation of Yum Extender using DNF as backend☆61Updated last year
- Plasma 5 applet for monitoring active network connections.☆18Updated 7 years ago
- Babe Media Player☆17Updated 4 years ago
- Easy to use and Free Multimedia Converter for Linux.☆65Updated 5 years ago
- a news and weather feed for Linux☆42Updated 5 years ago