Bonjour à tous,

Ici, il y a 15 postes de travail partagés par ± 30 personnes. Les deux systèmes sont installés sur chaque machine, le Windows 7 de Microsoft et l'un de nos GNU/Linux.

Depuis plus de 5 ans, au démarrage, l'ordinateur s'arrête sur l'invite suivante :

Il n'y a pas de compte à rebours !

L'utilisateur est "obligé" de marquer son chois, en pressant la touche 1 pour travailler sous le Windows ou la touche 2 pour travailler sous GNU/Linux.

(…)

Bonjour,

Je cherche à booter mon nouveau système (install archlinux) avec EFISTUB.
Cela permet de booter sans gestionnaire de boot (grub, syslinux …)
J'ai désactivé le « secure boot ».

J'ai suivi: https://wiki.archlinux.org/title/EFISTUB et https://wiki.archlinux.org/title/EFI_system_partition

Ma partition ESP est sur /dev/nvme0n1p1
Mon système ( / ) est sur /dev/nvme0n1p3

J'ai procédé ainsi:

Commencé par monter le contenu de {esp}/EFI/arch/ dans /boot.

Il faut procéder avec un « bind mount » qui se fait en deux temps.
Il faut déjà mounter (…)

Bonjour,
Je souhaiterais savoir quels sont les avantages de l'uefi.
J'ai lu que le passage à l'uefi permettait de s'affranchir de la limite des 4 partitions primaires.
Est-ce qu'il y a un avantage au niveau des performances d'avoir des partitions primaires plutôt que des partitions étendues ?
Y a t'il d'autres avantages à l'uefi par rapport au bios ?
Merci pour vos réponses.

Salut,

Je viens d'installer Debian 7.6.0 en dualboot avec Windows 8.1 (enfin j'ai essayé, c'est un peu ambitieux avec cette histoire d'uefi quand même^).

L'installation s'est pas trop mal passée, j'ai partitionné manuellement mon disque pour créer une partition pour linux au cours de l'install.

A la fin, au moment d'installer grub, j'ai eu le message "il semble qu'il n'y ait qu'un OS sur votre machine". Bon ce n'est pas le cas, mais j'ai cliqué sur ok.

Quand je (…)

Bonjour,

On m'a demandé d'installer une distribution Linux en dual-boot d'un Windows 8. Avez-vous des conseils particuliers par rapport à tous ces trucs d'UEFI et de Secure Boot ? Pour ce dernier, j'ai regardé et c'est normalement désactivable pour son PC. Je pensais installer une Debian Wheezy ou Ubuntu 12.04.

Bonjour,

Debian 12 étant là et moi voulant changer d'air, je me lance dans l'installation.
Mon matériel :
- Acer Swift 3 SF314 51
- UEFI
- Secure Boot désactivé
- SSD en GPT (création de la table avec Gparted)
- Idem pour la clé USB sur lequelle est Debian
- Installation en partitionnement manuel
- Installation sur volume chiffré
- Partition EFI en dehors du groupe chiffré

J'ai lancé l'installation plusieurs fois et je bloque toujours au moment de (…)

Bonjour,
je viens d'acheter une tablette hybride aspire Switch10. Equipé d'un Atom 1.33 GhZ, 2 GO de RAM,Intel HD graphique et un disque flash de 32 GO + 500 GO dans le clavier amovible.
Il est livré avec Windows 8.1.
Quel distribution de Linux je peut utiliser sachant que je suis un novice ?

Bonjour,

Sur ma config flambant neuve, j'ai installé une Fedora en GPT UEFI et LLVM. Depuis, je n'ai plus accès au BIOS UEFI, en appuyant sur Suppr au démarrage ou sur F2 ne fait rien. Ma carte mère est une Asrock Fatal1ty B450 gaming ITX.
Comment faire pour récupérer le BIOS UEFI ?

Salut a tous les monde, je me présenter ici parce que j'ai pas trouvé un page de présentation.
Mon nome c'est Mike, j'ai toujours aimé les système linux e ça philosophie mais j'ai jamais au les temp de l'apprendre comme il faut.

Alors j'ai un notebook Toshiba satellite c870-191 Windows 8, j'ai installé en dualboot Kali linux, j'ai au du mal à chercher la bonne façon pour faire partire le boot da USB parce que à l'origine sur le bios (…)

Bonjour les grosses moules,
J'espère que vous avez la frite aujourd'hui !

J'ai un vieux desktop de février 2009, avec un bon vieux BIOS.
Je viens de m'acheter un laptop bleeding-edge ASUS Strix GL702ZC avec un Ryzen 1700X, RX 580.
Oui, il s'agit bien d'un laptop. Ah, je précise que l'autonomie de la batterie (annoncée) est de 1h20. :-)
Bref, la batterie est comme un UPS, ça permet de changer de prise électrique quand on se déplace dans la maison.

Voici (…)

Je galère à faire booter Linux Mint sur un HP Probook 470 G2. J'ai mis à jour le BIOS, non sans mal (mais j'ai un message «Warning: This BIOS is not for production use» au démarrage, lol).

Premier essai en mode legacy: j'ai vérifié que le disque dur est formaté en dos, j'ai fait l'installation en choisissant «Utiliser le disque en entier». À la fin j'ai la surprise d'avoir grub installé sur ma clé USB. Je peux donc lancer le (…)

Bonjour tout le monde,

Je dois installer GRUB2 pour ordinateurs EFI dans ma carte micro-SD. Mais quand je tape la commande grub2-install, l'erreur suivante apparaît :
" grub2-install : error : /usr/lib/grub/x86_64-efi/modinfo.sh doesn't exist. Use --target or --directory. "

Je pense pourtant avoir suivi la bonne marche à suivre. Voici ce que j'ai fait, étape par étape :
1. Pour commencer, j'ai configuré ma carte micro-SD : j'y ai mis une partition fat32 avec le flag boot, ainsi qu'une autre (…)