Éditeur graphique GRUB pour Ubuntu 13.10

8

Je voulais demander quels éditeurs graphiques GRUB existaient pour la dernière version d'Ubuntu (13.10)? Et comment en installer un? J'ai cherché dans le Centre logiciel Ubuntu mais je n'y trouve rien.

Veuillez fournir des instructions très claires et basiques.

grub2

— Martin Zeltin
source

15

Vous pouvez utiliser Grub Customizer. Le Grub Customizer PPA est maintenant disponible pour Ubuntu 13.10. Pour installer, appuyez simplement sur Ctrl+ Alt+ Tsur votre clavier pour ouvrir Terminal. Lorsqu'il s'ouvre, exécutez la ou les commandes ci-dessous:

sudo add-apt-repository ppa:adabbas/1stppa
sudo apt-get update
sudo apt-get install grub-customizer

— Mitch
source

il est important de noter que lorsqu'un nouveau système est installé, il réinstalle généralement les fichiers grub, qui sont alors ceux qui déterminent le menu de démarrage. dans un tel cas, Grub Customizer doit être installé dans ce dernier système, tandis que les modifications apportées avec GC installé sur un Linux / Ubuntu qui existait avant la dernière installation de Linux ne fonctionneront pas

Apparaît périmé (testé Ubuntu 17.04)E: Failed to fetch http://ppa.launchpad.net/adabbas/1stppa/ubuntu/dists/zesty/main/binary-i386/Packages 404 Not Found

— Jonathan

@JonathanLeaders J'ai mis à jour le PPA du 17.04. Merci

— Mitch

1

Le PPA a évolué depuis Ubuntu 17.04:

sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer

Ensuite, exécutez avec

grub-customizer

— Jonathan
source