patriziobruno grubreboot-gnome-shell-extension issues

patriziobruno / grubreboot-gnome-shell-extension

gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart

GNU General Public License v3.0

22 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

gnome-shell 3.34 removed _endSessionDialog fatally breaking the extension

#21 docquantum opened 3 years ago
0
installing this on Ubuntu 20.04 causes the extension to fail.

#20 Bavarianph opened 4 years ago
0
TypeError: Main.EndSessionDialog._endSessionDialog is undefined

#19 pomarec opened 4 years ago
4
Not work in 19.04

#18 fakhamatia opened 5 years ago
1
How does it work ?

#17 prog-amateur closed 5 years ago
0
This extension selects system permanently

#16 pmaselkowski closed 5 years ago
2
Greek translation

#15 koulaxizis closed 6 years ago
1
Fix findFile with insufficient permissions #10

#14 boghicieusebiu closed 6 years ago
0
Need to take into account localization

#13 solsticedhiver opened 7 years ago
0
Fix wrong grub.cfg read when both Fedora and Debian are installed (EFI)

#12 prahal closed 7 years ago
4
too wide a revert ?

#11 prahal closed 7 years ago
1
Permission denied to access /boot/efi

#10 muradm opened 7 years ago
12
Additional boot options not listed if submenu present

#9 calebflynn opened 8 years ago
1
Add support for double quote menuentry in grub.cfg

#8 cork closed 8 years ago
0
Use /boot/grub even for EFI systems when needed

#7 oranav closed 8 years ago
0
Updated metadata for GNOME 3.16 + 3.18

#6 mcdope closed 8 years ago
0
Translations > de >> improved wording

#5 mcdope closed 9 years ago
0
Revert "Add french translation (for now)"

#4 patriziobruno closed 9 years ago
0
Add french translation (for now)

#3 Tutul- closed 9 years ago
2
german translation

#2 stefangweichinger closed 9 years ago
0
Pop-up bubble can't be closed/isn't closed properly

#1 jacobwb closed 7 years ago
0