Problèmes et questions sur les environnements graphiques et les applications.
Répondre

Grub-Customizer disparu des dépôts?

#1Messageil y a 2 ans

Bonjour à tous.
Qu'est devenu Grub-Customizer? Il n'est plus dans les dépôts. C'est bien embêtant. J'aimerais bien savoir pourquoi il a été retiré. Dangereux? Dans le cas contraire j'essaierai de transposer la version pour Ubuntu.

$ sudo pacman -S grub-customizer
[sudo] Mot de passe de user : 
erreur : impossible de trouver la cible : grub-customizer

Grub-Customizer disparu des dépôts?

#2Messageil y a 2 ans

Ah-ah...!?
Yochanan, Manjaro team, déc. '20
grub-customizer is not supported by Manjaro. If you want to use it, you’re on your own. You may use grub-vanilla instead if you insist on using it. However, if it breaks something, you will not receive any support here.
https://forum.manjaro.org/t/grub-confli ... er/43917/5
Le reste de la conversation est intéressant aussi...

Soit "grub-customizer n'est pas pris en charge par Manjaro. Si vous voulez l'utiliser, c'est votre problème (trad?). Vous pouvez utiliser grub-vanilla à la place si vous insistez pour l'utiliser. Cependant, s'il casse quelque chose, vous ne recevrez aucun support ici."
Répondre