Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 28/07/2018, à 18:35

Jivéqu

Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Bonjour,
Mon fils a installé Ubuntu sur une partition à côté de Windows 10.
Au démarrage du PC, il fait faire : Echap puis F9 puis choisir Ubuntu puis choisir encore Ubuntu. (c'est un PC portable HP ENVY)
Est-il possible d'avoir directement et dès le démarrage du PC une question du genre : "voulez-vous ubuntu ou windows10 ?"
Je pense que mon fils n'a pas dû utiliser l'option "installer ubuntu à côté de Windows10" mais qu'il a choisi l'option "autre chose".
Cordialement,

Hors ligne

#2 Le 28/07/2018, à 20:16

tcheupel

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Jivéqu a écrit :

Bonjour,
Mon fils a installé Ubuntu sur une partition à côté de Windows 10.
Au démarrage du PC, il fait faire : Echap puis F9 puis choisir Ubuntu puis choisir encore Ubuntu. (c'est un PC portable HP ENVY)
Est-il possible d'avoir directement et dès le démarrage du PC une question du genre : "voulez-vous ubuntu ou windows10 ?"
Je pense que mon fils n'a pas dû utiliser l'option "installer ubuntu à côté de Windows10" mais qu'il a choisi l'option "autre chose".
Cordialement,

C'est Grub qui se charge de ça

Grub

et de toute évidence l'installation est passée à côté.

Je pense qu'il faut réparer le démarrage avec boot-repair => https://doc.ubuntu-fr.org/boot-repair


- Portable Dell Inspiron 3581 : Debian 12 Gnome
SSD 1to - Ram 8go - Intel i3 - CG intégrée Intel HD 620
- Portable ASUS S406U : Debian 12 XFCE
SSD 240go - Ram 8go - Intel i5 - CG intégrée Intel HD 620

Hors ligne

#3 Le 28/07/2018, à 21:24

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Merci beaucoup pour Grub et la page internet.
Le texte d'explication me semble assez costaud pour moi qui ne suit pas familier des notions qui y sont présentées. Si c'est trop compliqué, ne vaut-il pas mieux refaire l'installation ?

Hors ligne

#4 Le 29/07/2018, à 06:40

malbo

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Jivéqu a écrit :

Au démarrage du PC, il fait faire : Echap puis F9 puis choisir Ubuntu puis choisir encore Ubuntu. (c'est un PC portable HP ENVY)

C'est la procédure normale pour démarrer Ubuntu sur un ordi HP.  Chez Asus par exemple, c'est plus simple et ça démarre direct sur le menu Grub sans qu'on ait à presser aucun bouton. Pas chez HP qui est le roi des emmerdeurs.
Quel est le nom complet du modèle de cet ordi ?

Dernière modification par malbo (Le 29/07/2018, à 06:46)

Hors ligne

#5 Le 29/07/2018, à 11:05

tcheupel

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Jivéqu a écrit :

Merci beaucoup pour Grub et la page internet.
Le texte d'explication me semble assez costaud pour moi qui ne suit pas familier des notions qui y sont présentées. Si c'est trop compliqué, ne vaut-il pas mieux refaire l'installation ?

Ce n'est pas si compliqué que ça car il ne faut pas tenir compte de tout ce qu'il y a dans la page.

Prend en compte :
1.2
2.3
2.5, et si ça n'a pas résolu le problème
2.6 réinstaller grub et/ou restaurer le mbr

et si tu trouves plus simple de réinstaller, et bien fait le.

Dernière modification par tcheupel (Le 29/07/2018, à 12:30)


- Portable Dell Inspiron 3581 : Debian 12 Gnome
SSD 1to - Ram 8go - Intel i3 - CG intégrée Intel HD 620
- Portable ASUS S406U : Debian 12 XFCE
SSD 240go - Ram 8go - Intel i5 - CG intégrée Intel HD 620

Hors ligne

#6 Le 30/07/2018, à 19:49

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Merci tcheupel d'avoir repéré les chapitres à considérer. Je vais essayer de voir si c'est possible malgré les empêchements constatés sur les HP.
Malbo, voici le nom du PC:  Nom : HP-ENVY-Sleekbook-4

Autres caractéristiques (sans doute inutiles ici mais je les mets quand même):
Mémoire : 3,8 Gio
Processeur: Intel® Core™ i3-3227U CPU @ 1.90GHz × 4
Carte Graphique : Intel® Ivybridge Mobile:
Type de système d'exploitation: 64-bitprovoqués

Hors ligne

#7 Le 30/07/2018, à 20:24

ikewdu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Salut,

Tu peux voir dans ton BIOS si tu as cette option : https://forum.ubuntu-fr.org/viewtopic.p … #p21481290

Sur d'autres HP, on trouve également ceci :  https://img-19.ccm2.net/izaETZcQuTl9S7T … 86B3F.jpeg

Les deux permettent de forcer le démarrage  sur un os particulier : https://img-19.ccm2.net/d_fZ4S2XF60SeOE … G-0999.JPG

Je pense que HP a fait en sorte de modifier ses UEFI pour qu'on puisse booter sur autre chose que le WBM initialement paramétré.

Dernière modification par ikewdu (Le 30/07/2018, à 20:26)

Hors ligne

#8 Le 30/07/2018, à 21:45

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Bonjour Ikewdu

Si j'ai bien compris et il se peut que j'aie mal compris car je ne suis pas spécialiste, ce que tu proposes est de forcer le démarrage de Ubuntu. Or ce que je souhaite est que le PC propose au démarrage l'alternative Windows10/ Ubuntu. Je vais tester la proposition de tcheupel.

Hors ligne

#9 Le 30/07/2018, à 22:53

ikewdu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

En forçant le démarrage sur Ubuntu, tu obtiendras un GRUB qui proposera les deux os.  C'est le principe.Tcheupel te propose de restaurer le mbr, ce qui est plutôt inattendu sur un PC en uefi.

Dernière modification par ikewdu (Le 30/07/2018, à 22:55)

Hors ligne

#10 Le 31/07/2018, à 00:03

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

ok Ikewdu, je vais voir le bios.

En attendant, j'avais trouvé ceci qui semble répondre à ma situation  (trouvé ici  : https://askubuntu.com/questions/244261/ … -efi-file). Qu'en pensez-vous ? (je vouvoie car je m'adresse à tous)

On my HP laptop I did as follows, step by step:

1 - Boot into ubuntu with F9

2 - Check where Windows boot loader is located

sudo efibootmgr -v
In my case /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi

3 - Backup .efi file:

sudo cp /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi /boot/efi/EFI/Microsoft/bootmgfw.efi
4 - Replace original .efi file by the ubuntu one (the trick):

sudo cp /boot/efi/EFI/ubuntu/grubx64.efi /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi
5 - Add windows 10 menuentry on grub. Open /etc/grub.d/40_custom and add this menu entry in the end of file:

menuentry "Windows 10 click here!" {
    search --set=root --file /EFI/Microsoft/bootmgfw.efi
    chainloader /EFI/Microsoft/bootmgfw.efi
}
6 - Save 40_custom and:

sudo update-grub
7 - On bios Disable Secure Boot (I'm not sure if it is needed)

8 - If everything went right, it will boot on ubuntu by default and windows 10 will be another option on grub.

Hors ligne

#11 Le 31/07/2018, à 00:20

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Je viens de regarder le BIOS afin de choisir le fait de démarrer ubuntu plutôt que windows comme indiqué dans le lien donné par Ikewdu.
Mais cela ne semble pas possible. Voici le chemin emprunté dans les menus du BIOS:
Config système > option d amorçage > Ordre de démarrage uefi > Gestionnaire de démarrage du se
Mais là, il n'y a pas de sous menu permettant de choisir Ubuntu et pas windows comme c'était indiqué dans le lien donné par Ikewdu.

Hors ligne

#12 Le 31/07/2018, à 07:55

ikewdu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Re,

J'avoue que ça m'étonne de plus en plus (contrairement à malbo, je ne crois plus à cette lacune des BIOS hp qui forcerait l'utilisateur à passer par f9 pour booter sur autre chose que ce  WBM préprogrammé).

Car j'ai aidé quelqu'un récemment qui a ajouté un ssd sur son HP.  On a rencontré le même problème non pour Linux mais pour Windows. Le PC persistait à utiliser WBM pointant vers l'efi du disque initial. Donc, sans cette option, il n'y aurait pas de passage possible d'un support à un autre à moins de remplacer le disque, et surtout, de partitionner exactement de la même manière pour que le BIOS trouve les fichiers efi à coup sûr sur le bon numéro de partition. Ne parlons pas de l'uuid des partitions qui aurait aussi pu être un problème.

La dernière image que j'ai jointe montre qu'on a dû le faire pour basculer d'un disque vers un autre.  Si l'option n'existait pas, et que le BIOS soit plombé sur wbm pointant vers le disque interne et /efi/Microsoft/bootmgfw.efi, même ce genre d'ajout demeurerait impossible. Je doute que HP empêche ses clients de faire passer WS du hdd initial vers un ssd ajouté.

Et si tu ne trouves pas, tu peux réinstaller 50 fois, mais tu seras toujours obligé de passer par F9 pour faire booter autre chose que ce que le constructeur avait mis en place au départ.

En attendant, tu peux en effet donner le résultat de ceci :

sudo efibootmgr -v

On aura confirmation que ton Ubuntu est installé ou non en uefi. Le reste de ton tuto est du bidouillage de fichiers plus ou moins risqué pour ton Windows. (C'est d'ailleurs shimx64 quil faut copier, et non grubx64, sinon le point 7 est obligatoire)... Je te laisse assumer seul ce genre de manipulation.

Dernière modification par ikewdu (Le 31/07/2018, à 08:06)

Hors ligne

#13 Le 31/07/2018, à 09:53

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Voici le résultat de la commande sudo efibootmgr -v :

BootCurrent: 0004
Timeout: 0 seconds
BootOrder: 3002,3004,3005,2001,2002,2003
Boot0000* Disque dur portable    BBS(HD,##,0x0).......................................................................
Boot0002* Windows Boot Manager    HD(2,GPT,9f4c9f8c-52aa-4ff1-af5c-c1ff53268724,0xc8800,0x82000)/File(\EFI\Microsoft\Boot\bootmgfw.efi)WINDOWS.........x...B.C.D.O.B.J.E.C.T.=.{.9.d.e.a.8.6.2.c.-.5.c.d.d.-.4.e.7.0.-.a.c.c.1.-.f.3.2.b.3.4.4.d.4.7.9.5.}...4................
Boot0004* ubuntu    HD(2,GPT,9f4c9f8c-52aa-4ff1-af5c-c1ff53268724,0xc8800,0x82000)/File(\EFI\ubuntu\shimx64.efi)
Boot0005* Ubuntu    HD(2,GPT,9f4c9f8c-52aa-4ff1-af5c-c1ff53268724,0xc8800,0x82000)/File(\EFI\ubuntu\grubx64.efi)RC
Boot2001* USB Drive (UEFI)    RC
Boot3002* Internal Hard Disk or Solid State Disk    RC
Boot3004* Internal Hard Disk or Solid State Disk    RC
Boot3005* Internal Hard Disk or Solid State Disk    RC

Hors ligne

#14 Le 31/07/2018, à 11:09

ikewdu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Ton ubuntu est bien installe en uefi. Comme ton PC est de la génération W8 (à cette époque, le problème était réel), as-tu déjà vérifié si HP propose une maj  du BIOS pour ton modèle ? Ça peut expliquer l'absence de l'option pour modifier le démarrage par défaut.

Hors ligne

#15 Le 31/07/2018, à 14:06

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Voici le nom de mon PC et la version de BIOS:
HP-ENVY-Sleekbook-4
model : 4-1250sf
version du bios/date : Insyde F.21,  14/11/2012

J'ai consulté le site HP (voir ci-dessous). Il n'y a pas de proposition de nouvelle version de BIOS.
De plus, windows10, que j'avais substitué à Windows 8,  n'est pas proposé dans la liste des systèmes d'exploitation.
Quand je sélectionne linux/ ubuntu en tant que système d'exploitation , il n'y a pas non plus de proposition de nouvelle version de BIOS.

https://support.hp.com/us-en/drivers/se … el/5342813

Hors ligne

#16 Le 31/07/2018, à 17:03

ikewdu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Donc, passage par F9 obligatoire. Désolé pour toi.

Edit. Les bios InsydeH20 sont parfois plombés pour l'utilisateur, et il faut ajouter un mot de passe superviseur pour débloquer certaines options. Si tu  te sens de le faire.... Je n'aime pas trop proposer ce genre de choses.

Dernière modification par ikewdu (Le 31/07/2018, à 17:06)

Hors ligne

#17 Le 01/08/2018, à 13:22

Jivéqu

Re : Comment démarrer le PC avec le choix Ubuntu / WIndows10 ?

Bonjour,
Ok bien reçu. Dommage qu'on ne puisse pas trouver une solution. Merci de m'avoir aiguillé pour essayer quelques pistes !

Hors ligne