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 10 months ago
- Wine prefix manager☆45Updated 3 years ago
- 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
- Unity like HUD menu for the GNOME Desktop Environment using rofi menu.☆120Updated 3 years ago
- A tool to configure GTK theme colors.☆89Updated 7 years ago
- Wobbly windows and animations logic split out from Compiz☆69Updated 6 years ago
- 2FA code generator for GNOME☆177Updated 6 years ago
- workarounds for problems with Steam on Linux☆23Updated 4 years ago
- Mailnag GNOME-Shell extension☆36Updated last year
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-usage☆21Updated 2 months ago
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated 2 years ago
- MOVED: https://gitlab.com/bharadwaj-raju/QOverview☆47Updated 7 years ago
- Manage GNOME Shell applications folders☆105Updated last year
- 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
- Nautilus/Nemo extension to add important information about the current git directory☆149Updated 6 years ago
- Helper for enabling better Steam integration on Linux☆99Updated 5 years ago
- A VPN configuration tool for PIA☆32Updated 6 years ago
- Gnome-Shell wallpaper changing extension with multiple profile support☆79Updated 2 weeks ago
- Extension Update Notifier☆34Updated 3 years ago
- THIS REPO IS ONLY A MIRROR: Native GTK app to share files on the local network☆61Updated 4 years 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…☆86Updated 5 years ago
- GNOME Shell extension. Wikipedia Search Provider.☆42Updated 7 years ago
- Flatpak website☆57Updated 3 weeks ago
- Gnome shell extension. Shows a tooltip over applications icons on applications overview.☆45Updated 4 months ago
- Run Qt applications using gtk+ as a windowing system.☆155Updated 5 years ago
- A backup scheduler for KDE's Plasma desktop☆131Updated 5 years ago
- Tool to create Chromium/Chrome/Firefox/Vivaldi SSBs in Peppermint OS.☆206Updated 3 years ago
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆70Updated last year
- elementary icons for LibreOffice☆22Updated 4 years ago