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
- Extension Update Notifier☆33Updated 3 years ago
- Gnome Shell Extension - Disconnect Wifi☆43Updated 4 months ago
- elementary icons for LibreOffice☆22Updated 3 years ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Updated 7 years ago
- Flatpak manifest and patches to build Firefox☆69Updated 4 years ago
- An advanced lightweight file search tool☆21Updated 4 years ago
- A Gtk application to report missing icons to your theme repository☆19Updated 7 years ago
- Pause Gnome Night Light for 10 seconds☆10Updated 3 years ago
- KDE mozilla integration☆17Updated 11 months ago
- A simple Git commit message editor for Gnome.☆30Updated 4 years ago
- MOVED: https://gitlab.com/bharadwaj-raju/QOverview☆47Updated 6 years ago
- ☆22Updated last week
- Easy to use and Free Multimedia Converter for Linux.☆65Updated 5 years ago
- Caja actions is an extension for Caja, the MATE file manager☆24Updated 5 years ago
- ☆44Updated last year
- Provides a way to run menubar commands through dmenu☆23Updated 6 years ago
- Flatpak packaging files for some KDE Applications☆39Updated 10 months ago
- Unity like HUD menu for the GNOME Desktop Environment using rofi menu.☆120Updated 3 years ago
- Wobbly windows and animations logic split out from Compiz☆68Updated 6 years ago
- Wobbly windows logic split out from Compiz☆43Updated 3 years ago
- GNOME 3 theme for Thunderbird (previously known as Adwaita)☆34Updated 9 years ago
- ☆19Updated 8 years ago
- Gnome shell extension. Shows a tooltip over applications icons on applications overview.☆44Updated 5 months ago
- A generic gaming keyboard emulation daemon☆41Updated 6 years ago
- ☆31Updated this week
- Mailnag GNOME-Shell extension☆36Updated last year
- Babe Media Player☆17Updated 4 years ago
- A cool desktop panel for KDE Plasma 5☆56Updated last year
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆135Updated last year
- Next Generation of Yum Extender using DNF as backend☆61Updated 2 years ago