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
Related projects ⓘ
Alternatives and complementary repositories for grubreboot-gnome-shell-extension
- Gnome Shell Extension - Disconnect Wifi☆43Updated last month
- An advanced lightweight file search tool☆21Updated 4 years ago
- Extension Update Notifier☆33Updated 2 years ago
- A Gtk application to report missing icons to your theme repository☆19Updated 6 years ago
- elementary icons for LibreOffice☆22Updated 3 years ago
- Babe Media Player☆17Updated 4 years ago
- Caja actions is an extension for Caja, the MATE file manager☆24Updated 5 years ago
- Gnome Shell extensions for DS3/DS4/DS5☆31Updated 7 months ago
- Add dynamic quicklists with nautilus bookmarks or recent files.☆17Updated 3 years ago
- Wine prefix manager☆44Updated 3 years ago
- MOVED: https://gitlab.com/bharadwaj-raju/QOverview☆47Updated 6 years ago
- Wobbly windows logic split out from Compiz☆43Updated 3 years ago
- KDE mozilla integration☆17Updated 8 months ago
- Pause Gnome Night Light for 10 seconds☆10Updated 3 years ago
- ☆15Updated this week
- Gnome-shell extension: Do not allow apps to delete their own notifications☆11Updated 7 years ago
- Flatpak packaging files for some KDE Applications☆38Updated 7 months ago
- Plasmoid for KDE Connect allowing SMS sending from your desktop☆18Updated 6 years ago
- A tool to configure GTK theme colors.☆89Updated 6 years ago
- THIS REPO IS ONLY A MIRROR: Native GTK app to share files on the local network☆60Updated 3 years ago
- Mailnag GNOME-Shell extension☆36Updated last year
- Easy to use and Free Multimedia Converter for Linux.☆65Updated 5 years ago
- [DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search…☆58Updated 7 years ago
- An easier way to sign OpenPGP keys over the local network. A GTK/GNOME application to use GnuPG for signing other peoples' keys. Quickly,…☆52Updated 9 months ago
- Advanced audio-video converter for Linux with support for modern audio and video formats like HEVC, OPUS, WEBM, etc. Can be used in scrip…☆85Updated 4 years ago
- ☆19Updated 8 years ago
- Simple file sharing app for elementary OS☆44Updated 5 years ago