Skip to content
This repository has been archived by the owner on Jan 31, 2021. It is now read-only.

JeffreyVdb/gnome-shell-extension-grub

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Gnome Shell Grub Boot Menu

sample boot menu grub

gnome-shell-extension-grub is an extension for gnome shell that allows you to reboot into a selected boot entry. This extension makes use of files and commands that can only be accessed by root, read the installation manual below to set it up correctly.


Installation

Using GNU autotools.

Download the distribution archive and extract it to any location.

Navigate to the extracted directory and run these commands:

$ ./configure --prefix=/usr
$ make
$ sudo make install

Restart Gnome shell using alt+f2, typing r in the dialog box. Enable the extension using gnome tweak tool.

About

Grub boot menu for Gnome Shell

Resources

License

Stars

Watchers

Forks

Packages

No packages published