Discussion :

[ctac_]

Bonjour,
Matériel:
HP Pavilion 17 Notebook PC
08/26/2014
Bios F.06
Intel Pentium CPU N3530 2.16GHz
Disque dur = 700 Go
Le système installé d'origine est Windows 8.1
J'ai installé debian linux sur une partition étendue du disque dur.
J'utilise debian linux et je cherche a démarrer directement dessus via grub qui me propose de démarrer windows.
Le problème est que windows démarre automatiquement.
Pour accéder a debian linux, je dois faire echapp.
Ici un menu apparait et je dois faire F9 pour finalement accéder au menu de grub.
En cherchant un peu, j'ai vu qu'il y avait une partition EFI et des fichiers efi.
Je ne voudrais pas tout casser alors une petite piste serait la bienvenue.
Cordialement.

[chrtophe]

En dual boot, il faut que Grub démarre en 1er, il te permettra lui de choisir entre les 2 systèmes.
Les MàJ Windows on tendance à écraser grub

[ctac_]

Bonjour et merci pour la réponse.
Effectivement, il faut que grub démarre en premier ! mais comment faire?
Apparemment, le système démarre sur une partition efi et le 'bios' ne propose pas de démarrer sur la mbr.
Il faudrait peut être dans cette partition efi réorganiser les fichiers (Il y a un fichier grub.efi) pour que le système démarre dessus.
Mais là, ça dépasse mes compétences.
Cordialement.

[chrtophe]

En UEFI, chaque OS va stocker son boot loader. Tu as ensuite une gestion de priorité, plus ou moins facile à gérer selon les machines. windows 10 va systématiquement se mettre en priorité en gros.

[ctac_]

Ok; j'ai bien compris.
Mais ta réponse reste de la théorie.
Je ne suis pas d'accord pour que windows domine mon système.
Je pense que la partition efi détermine l'ordre du boot.
Sii windows, a chaque mise a jour, se met en premier, j'appelle ça de la dictature; mais je dois pouvoir rétablir l'ordre du boot.
Ma question est donc, comment modifier la partition efi pour démarrer directement sur grub ?
Je suis prêt a la modifier a chaque mise a jour de windows qui semble agir ici en tant que dictacteur.
Cordialement.

[chrtophe]

La réponse est ici :
https://doc.ubuntu-fr.org/uefi
A bien lire. tu auras confirmation de l'écrasement de Grub par Windows 10. Tu a une explication pour pallier le problème (qu'il faudra refaire à chaque écrasement par Windows)
Tu verras que sur certains modèles, tu peux modifier le système UEFI qui boote, cela dépend de leur BIOS (on devrait plutôt dire firmware UEFI), sinon cf ligne précédente.