Bonjour Arnaud
Est ce que tu as regardé sur https://enventelibre.org/fr/42-debian s'il
ya ce que tu cherches ?
Librement,
William
On 03/04/2022 22:45, Arnaud Vandyck wrote:
Bonjour,
https://www.debian.org/events/merchandise
-- Arnaud sur son iPhone
Le 3 avr. 2022 à 20:57, Yannick a
Bonjour,https://www.debian.org/events/merchandise-- Arnaud sur son iPhoneLe 3 avr. 2022 à 20:57, Yannick a écrit :Bonsoir,J'espérais rencontrer quelqu'un de la team Debian aux JDLL. J'ai été déçu. Je voulais acheter un stiker pour mettre sur mon nouveau portable.Si l'un d'entre vous a cela en
On Sat, Apr 02, 2022 at 07:32:03PM +0200, BERTRAND Joël wrote:
> Bonjour à tous,
>
> J'ai une machine diskless (i9 10th gen. 20 threads, 64 Go de mémoire,
> swap sur iSCSI) que j'utilise avec Windowmaker (deux écrans). De temps
> en temps, totalement aléatoirement, soit la session
Bonsoir,
J'espérais rencontrer quelqu'un de la team Debian aux JDLL. J'ai été
déçu. Je voulais acheter un stiker pour mettre sur mon nouveau portable.
Si l'un d'entre vous a cela en réserve je serais heureux de le recevoir.
Amitiés
--
Yannick VOYEAUD
Nul n'a droit au superflu tant que chacun
Un grand merci, Didier. Ta solution fonctionne et règle mon problème.
Faut croire que mon UEFI est buggé.
Entre temps, j'avais trouvé une solution de contournement en appuyant
au boot sur la touche F9 (varie sans doute selon les PC) qui me dirige
sur le menu de démarrage UEFI.
Le 03/04/2022
Le dimanche 03 avril 2022 à 14:08 +0200, nicolas.patr...@gmail.com a
écrit :
>
> Par curiosité, et avec lilo (que j’utilise toujours), on fait comment
> ?
>
> nicolas patrois : pts noir asocial
on fait pas :-)
Lilo n'est plus maintenu et n'était pas compatible avec l'UEFI,
simplement avec
Le 03/04/2022 12:57:40, didier gaumet a écrit :
> Sur un PC récent avec un UEFI correct (pas buggé), il faut
> généralement
> paramétrer dans l'UEFI quel chargeur de démarrage utiliser par défaut,
> sinon bien que plusieurs chargeurs soient installés, celui de windows
> reste celui par défaut.
>
Bonjour,
Mofifier le "BootOrder" avec l'option "-o" de efibootmgr peut-être.
Bonne journée
Le 2022-04-03 à 05 h 08, Thierry a écrit :
Bonjour,
j'ai installé Debian (Bullseye) en dual boot EFI sur un PC W10.
Aucun problème, sauf que je n'arrive pas à avoir le menu Grub au
démarrage.
Sur un PC récent avec un UEFI correct (pas buggé), il faut généralement
paramétrer dans l'UEFI quel chargeur de démarrage utiliser par défaut,
sinon bien que plusieurs chargeurs soient installés, celui de windows
reste celui par défaut.
Sur certains UEFI buggés, la présence d'une entré nommé
Le 03/04/2022 à 11:08, Thierry a écrit :
Bonjour,
j'ai installé Debian (Bullseye) en dual boot EFI sur un PC W10.
Aucun problème, sauf que je n'arrive pas à avoir le menu Grub au
démarrage. Systématiquement le PC boote sur Windows.
Je me doute que ce n'est pas un problème Debian, mais
Alors peut-être le réinstaller:
os-prober
update-grub
grub-install /dev/sda (mettre le bon disk ici…)
Le 03-04-2022, à 12:02:58 +0200, Thierry a écrit :
Merci, mais çà ne fait que modifier le menu Grub.
Encore faut-il qu'il s'affiche au boot. C'est là mon problème.
Merci, mais çà ne fait que modifier le menu Grub.
Encore faut-il qu'il s'affiche au boot. C'est là mon problème.
Le 03/04/2022 à 11:37, steve a écrit :
Salut,
As-tu lancé en root :
update-grub
Normalement ça devrait suffire.
Bon dimanche
Salut,
As-tu lancé en root :
update-grub
Normalement ça devrait suffire.
Bon dimanche
Bonjour,
j'ai installé Debian (Bullseye) en dual boot EFI sur un PC W10.
Aucun problème, sauf que je n'arrive pas à avoir le menu Grub au
démarrage. Systématiquement le PC boote sur Windows.
J'ai essayé de modifier l'ordre de démarrage sous Windows avec bcdedit
ou sous Debian avec
14 matches
Mail list logo
