Comment installer Grub Customizer sur Ubuntu 20.04 ?

Question

Je tente d'installer grub-customizer sur Ubuntu 20.04 et cela ne fonctionne pas.

Voici ce que j'ai essayé (comme suggéré par plusieurs sites Web) :

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

Il semble ne pas trouver le paquet :

Err:13 http://ppa.launchpad.net/danielrichter2007/grub-customizer/ubuntu focal Release
  404  Not Found [IP: 91.189.95.83 80]

Voici la sortie de la dernière commande :

Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Impossible de trouver le paquet grub-customizer

J'ai lu à quelques endroits que des personnes ont pu installer cela correctement sur 20.04. Qu'est-ce que je fais de mal ?

Merci

Demandé el 24 de Mai, 2020 par cltweedie

Answer 1

1 Réponses

Answer 2

17voto

Liso Points 14200

Ce qui se passe, c'est que le ppa ne prend pas en charge Ubuntu Focal, donc vous devez d'abord le supprimer.

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

La bonne nouvelle, c'est que grub-customizer existe dans le dépôt par défaut.

sudo apt install grub-customizer

Répondu el 24 de Mai, 2020 par Liso (14200 Points )

Réponse