grub-customizer

Alain47 · Le 02/05/2022, à 13:07

Bonjour
j'installe UBUNTU 22.04 sur un PC.
un message me dit qu'il est impossible de trouver le paquet grub-customizer.
Faut-il à nouveau utiliser un ppa comme dans certaines versions?
Le paquet a-t-il été déplacé dans un autre dépôt?
Merci pour vos réponses.

Qid · Le 02/05/2022, à 13:25

La question à se poser serait plutôt de savoir pourquoi tu veux utiliser ce logiciel qui est plutôt déconseillé si on ne sait pas ce qu'on fait...

geole · Le 02/05/2022, à 13:26

Bonsoir
Si vraiment tu en a besoin

https://launchpad.net/~danielrichter2007/+archive/ubuntu/grub-customizer a écrit :

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

Nota. Dans le forum, on pense qu'il est plus nuisible qu'utile. ( https://forum.ubuntu-fr.org/viewtopic.php?id=2066837 )
Si tu expliques ton besoin, il y a certainement une solution simple.

Dernière modification par geole (Le 02/05/2022, à 13:47)

Alain47 · Le 02/05/2022, à 13:29

Je l'ai toujours utilisé sans problème pour sélectionner le système à démarrer (linux ou windows).

Qid · Le 02/05/2022, à 13:39

Alain47 a écrit :

Je l'ai toujours utilisé [•••] pour sélectionner le système à démarrer

Heu... ? Ça ne répond pas à la question du pourquoi puisque ce n'est absolument pas utile pour la base de ce dont tu parles...

@ geole : question... Ça ne viendrait pas de la page de Doc ubuntu-fr cette info qu'il aurait dû donc trouver sans avoir à demander ? Je sais qu'il est prudent de ne pas juger les demandes mais comme tous les aidants savent que ce logiciel est plutôt à éviter...

xubu1957 · Le 02/05/2022, à 13:42

Bonjour,

Pour info > Que pensez-vous de Grub Customizer ?

geole · Le 02/05/2022, à 13:52

Pour Qid
Je viens de mettre à jour la doc grub customizer suite à sa demande après avoir consulté le référentiel
Package Version Uploaded by
grub-customizer 5.2.1-0ubuntu1~ppa1j Daniel Richter (2022-04-30)
grub-customizer 5.1.0-0ubuntu1~ppa1x Daniel Richter (2018-10-13)

grub-customizer 42 hours ago Successfully built

On voit, qu'après quatre ans d'inactivité, une nouvelle version vient de sortir.

Dernière modification par geole (Le 02/05/2022, à 16:55)

Alain47 · Le 02/05/2022, à 13:55

Si l'un d'entre vous a une autre solution pour choisir son système au démarrage, je suis preneur.
J'ai une machine avec plusieurs Linux et plusieurs Windows.

geole · Le 02/05/2022, à 13:57

Le grub standard sait proposer. Si ton ordinateur est EFI, refind le propose en couleurs.

https://bugs.launchpad.net/%7Edanielric … us&start=0

Dernière modification par geole (Le 02/05/2022, à 13:59)

Qid · Le 02/05/2022, à 14:49

Alain47 a écrit :

Si l'un d'entre vous a une autre solution pour choisir son système au démarrage, je suis preneur.
J'ai une machine avec plusieurs Linux et plusieurs Windows.

Grub customizer est la comme son nom l'indique pour customiser GRUB qui est l'outil de démarrage de Linux qui sait gérer tout le monde pourvu qu'il aient été bien configurés... Eh oui je suis passé au pluriel car chaque Linux vient avec son GRUB si on ne lui dit pas le contraire et c'est là que les choses peuvent commencer à se corser... Mais bon je crois que pour aller plus loin un bon bootinfo ne serait pas de refus pour comprendre la situation...

geole · Le 02/05/2022, à 15:33

Alain47 a écrit :

J'ai une machine avec plusieurs Linux et plusieurs Windows.

J'espère que tu n'as pas modifié les windows pour que eux aussi décident de proposer le boot de tous les O.S.

Pour tous les linux qui ne doivent pas proposer la structure de boot, tu installes ce paramètre dans leur fichier de configuration GRUB_DISABLE_OS_PROBER="true" voir https://doc.ubuntu-fr.org/tutoriel/grub … efaultgrub
puis tu fais prendre en compte.

sudo update-grub

Dernière modification par geole (Le 02/05/2022, à 15:34)

Alain47 · Le 02/05/2022, à 16:46

En installant avec comme prérequis le ppa et en faisant un minimum de modifications (temps d'affichage) tout est parfait.
Je lance le système que je désire sans problème.
Cela suffit à mes besoins.
Merci à ceux qui m'ont répondu.

Qid · Le 02/05/2022, à 17:01

geole a écrit :

On voit, qu'après quatre ans d'inactivité, une nouvelle version vient de sortir.

ce n'est pas un mal mais est-ce pour autant de confiance... enfin comme notre demandeur n'a pas tenu compte de nos alertes et surtout du fait qu'on lui a dit qu'il n'en avait normalement pas besoin... passons à autre chose...

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 02/05/2022, à 13:07

grub-customizer

#2 Le 02/05/2022, à 13:25

Re : grub-customizer

#3 Le 02/05/2022, à 13:26

Re : grub-customizer

#4 Le 02/05/2022, à 13:29

Re : grub-customizer

#5 Le 02/05/2022, à 13:39

Re : grub-customizer

#6 Le 02/05/2022, à 13:42

Re : grub-customizer

#7 Le 02/05/2022, à 13:52

Re : grub-customizer

#8 Le 02/05/2022, à 13:55

Re : grub-customizer

#9 Le 02/05/2022, à 13:57

Re : grub-customizer

#10 Le 02/05/2022, à 14:49

Re : grub-customizer

#11 Le 02/05/2022, à 15:33

Re : grub-customizer

#12 Le 02/05/2022, à 16:46

Re : grub-customizer

#13 Le 02/05/2022, à 17:01

Re : grub-customizer

Pied de page des forums