É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
la source

Réponses:

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
la 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
la source