Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
doc:install:refind-boot-uefi [18/08/2013 14:20] mytux [UEFI & EFI] |
doc:install:refind-boot-uefi [22/08/2013 08:25] smolski |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | ====== UEFI & EFI====== | ||
| - | |||
| - | |||
| - | N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs ! | ||
| (//non testé// - **mytux** 09/08/13) | (//non testé// - **mytux** 09/08/13) | ||
| Le retour sur le forum est ici : [[http://debian-facile.org/viewtopic.php?id=7225|[WIKI] Tuto, Refind boot iso from UEFI ou EFI ]] | Le retour sur le forum est ici : [[http://debian-facile.org/viewtopic.php?id=7225|[WIKI] Tuto, Refind boot iso from UEFI ou EFI ]] | ||
| - | + | N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs ! | |
| - | + | ||
| - | ====== UEFI & EFI====== | + | |
| Toutes les versions 64bits des PC qui exécutent Windows certifié par le programme de certification Windows utilisent l’UEFI à la place du BIOS. | Toutes les versions 64bits des PC qui exécutent Windows certifié par le programme de certification Windows utilisent l’UEFI à la place du BIOS. | ||
| Ligne 13: | Ligne 9: | ||
| * Objet : Boot d'une distribution non compatible avec EFI & UEFI. | * Objet : Boot d'une distribution non compatible avec EFI & UEFI. | ||
| * Niveau requis : Tous | * Niveau requis : Tous | ||
| - | * Commentaires : Ce tuto, concerne les personnes disposant d' une carte mère intègrant des firmware EFI & UEFI. | + | * Commentaires : Ce tuto, concerne les personnes disposant d'une carte mère intégrant des firmwares EFI & UEFI. |
| * Débutant, à savoir : [[manuel:le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !.]] :-) | * Débutant, à savoir : [[manuel:le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !.]] :-) | ||
| * Suivi : {{tag>en-chantier à-tester à-placer}} | * Suivi : {{tag>en-chantier à-tester à-placer}} | ||
| Ligne 19: | Ligne 15: | ||
| =====Le BIOS===== | =====Le BIOS===== | ||
| - | A l'aube de l'ère du premier PC en 1981, IBM livrait son Personal Computer 5150, avec un firmware connu sous le nom de Basic Input/Output System (BIOS). Le BIOS était destiné à être une interface entre le matériel et le système d'exploitation DOS (Disk Operating System) à l'époque. | + | A l'aube de l'ère du premier PC en 1981, [[wp>IBM]] livrait son [[wp>Personal Computer]] 5150, avec un [[wp>firmware]] connu sous le nom de [[wp>BIOS]] (Basic Input/Output System ). \\ |
| + | Le BIOS était destiné à être une interface entre le matériel et le système d'exploitation [[wp>DOS]] (Disk Operating System) à l'époque. | ||
| + | |||
| + | Le rôle du BIOS était d'effectuer des tests de base et d'appliquer une séquence linéaire de recherche afin de trouver un périphérique amorçable sur un secteur de 512 octets pouvant être lu et exécuté. \\ | ||
| + | Ce premier secteur qu'on appella MBR devait ensuite passer la main à un autre périphérique ou au système d'exploitation((OS)). | ||
| - | Le rôle du BIOS étatit d'éffectuer des tests de base t d'appliquer une séquence linéaire de recherche afin de trouver un périphérique amorçable sur lque un secteur de 512 octetspouvaient être lus et éxécuté.Ce premier secteur qu'on appella MBR devait ensuite pouvaoir passer la main à un autre périphériue ou au système d'exploitation. | + | Le BIOS est généralement écrit en assembleur et est seulement capable d'exécuter des instructions sur 16 bits alors que les OS modernes eux, exécutent des instructions sur 32 et 64bits. \\ |
| + | Les OS avancés n'ont pu continuer à utiliser le BIOS sans perte de performance. | ||
| - | Le bios est généralement écrit en assembleur et est seulement capable d'éxécuté des instructions sur 16bits aloars que les OS modernes eux, éxécutent des instructions sur 32 et 64bits. Les OS avancés n'ont puent continuer à utiliser le Bios sans pertes de performance. | ||
| =====EFI et UEFI===== | =====EFI et UEFI===== | ||
| - | J'utilise le terme EFI pour se référer soit à EFI 1.X ou plus l'UEFI. | + | J'utilise le terme EFI pour se référer soit à EFI 1.X et l'UEFI. |
| - | L'Extensible Firmware Interface (EFI) et sa variante plus récente,UEFI (Unified EXtensible Firmware Interface), sont des conceptions de firmware qui sont destinés à remplacer le BIOS. Les capcités de l' EFI sont plus grandes celles du BIOS, EN effet un EFI peut lire une tables de partitions et un système de fichiers, ce qu’ un BIOS ne sait pas faire.Cela permet à plusieurs chargeurs de démarrage de coexister sur le disque dur, et d'être accessible tout en utilisant des mécanismes d'accès aux fichiers normaux. Une autre caractéristique de l'EFI est le **Secure Boot**. Cette fonctionnalité est destinée à améliorer la sécurité, en veillant à ce que seuls les chargeurs de démarrage signés avec une clé de chiffrement, pourront s'éxécuter. <note> Ubuntu et Fedora, ont achetés cette clé à Microsoft </note> | + | L'EFI (Extensible Firmware Interface) et sa variante plus récente [[wp>UEFI]] (Unified EXtensible Firmware Interface), sont des conceptions de firmwares destinés à remplacer le BIOS. \\ |
| - | =====Structures de disques EFI===== | + | EFI, a été développé par Intel pour son nouveau processeur //Itanium//. |
| - | Lorsque vous configurez un ordinateur pour démarrer en mode UEFI, il est généralement préférable de créer un disque GPT. | + | Les capacités de l'EFI sont bien plus grandes que celles du BIOS, \\ |
| - | GPT offre deux avantages : | + | En effet un EFI peut lire une table de partitions et accéder aux systèmes de fichier, il ne prend pas en charge le multitâches mais peut exécuter des applications en C/C++, pour les versions les plus récentes tel que l' UEFI, des applications graphiques avec prise en charge de la souris. |
| - | *Il supporte les disques de Plus de 2.2 to. | + | L'amorçage EFI est donc bien plus souple. \\ |
| - | *Il a une limite de 128 partitions primaires. | + | Contrairement au bios qui liste simplement les périphériques, l'EFI lit leur contenu à la recherche d'exécutable UEFI. |
| - | EFI repose sur une partition spéciale, connue sous le nom de la partition système EFI (ESP), pour stocker des données EFI spécifiques. L'ESP devrait officiellement utiliser un système de fichiers FAT32, bien que de nombreuses distributions Linux utilise un système de fichiers FAT16. Certains utilisateurs ont constaté que certains EFI ont des bugs qui causent des problèmes avec les ESP infèrieure à 512MiB (537MB), certain fichiers ne peuvent être lus par l'EFI, donc je vous recommande la création d’ une ESP d’ au moins 550MiB. | + | Cela permet à plusieurs chargeurs de démarrage de coexister sur un même disque dur et d'être accessibles tout en utilisant les mécanismes d'accès aux fichiers normaux. |
| + | Il est aussi possible de compiler un noyau Linux de sorte à le transformer en véritable applications UEFI. \\ | ||
| + | On pourra ensuite créer une entrée dans la NVRAM de notre carte mère à l'aide efibootmgr, du Shell EFI, ou d'utiliser un boot manager tel que rEFIND. [[https://wiki.archlinux.org/index.php/UEFI_Bootloaders#Linux_Kernel_EFISTUB|Voir EFI stub loader sur ArchWiki]] | ||
| + | Une autre caractéristique de l'EFI est le [[http://fr.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface#Lancement_s.C3.A9curis.C3.A9_.28secure_boot.29|Secure Boot]]. \\ | ||
| + | Cette fonctionnalité est destinée à améliorer la sécurité, en veillant à ce que seuls les chargeurs de démarrage signés avec une clé de chiffrement puissent s'exécuter. | ||
| - | Chaque chargeur de démarrage EFI est stocké dans un sous-répertoire du répertoire EFI sur l'ESP. Ces répertoires sont généralement nommés d'après le système d'exploitation qui les a créés. Par exemple, Ubuntu met ses fichiers EFI dans **EFI/ubuntu**, et Red Hat met ses dans **EFI/redhat**. | + | =====Structure de disque EFI===== |
| - | + | ||
| - | Une fois Linux installé, l'ESP est monté dans **/boot/efi**, de sorte que l’arborescence soit : **/boot/efi/EFI/ubuntu**, et: **/boot/efi/EFI/redhat**. | + | |
| - | + | ||
| - | Si vous avez besoin d'installer un chargeur de démarrage indépendamment de de votre système d'exploitation, vous pouvez créer votre propre répertoire. Exemple : **EFI/refind** pour Refind. | + | |
| - | + | ||
| + | Selon la version et le constructeur de votre fimware, ces règles peuvent varier. \\ | ||
| + | En voici un aperçu : | ||
| + | * Tous les périphériques de stockage EFI recherchent un répertoire EFI et listent un point amorce pour chaque fichier ressemblant à *x64.efi *ia32.efi. | ||
| + | * Deux formats de tables sont pris en charges, MBR et GPT, cependant je vous recommande le partitionnement sur une table GPT, elle accepte jusqu'à 128 partitions primaires. | ||
| + | * Pour qu'un amorçage UEFI ait lieu sur un disque SATA, ce dernier doit comporter une partition spéciale ESP (EFI File System), ceci n'est (pas ?) valable pour un disque USB. | ||
| + | * L'ESP devrait officiellement utiliser un système de fichier FAT32, bien que de nombreuses distributions Linux utilisent un système de fichier FAT16, quelquefois un FAT12.<note>GPT et FAT32 sont un bon compromis.</note> | ||
| + | * Des utilisateurs ont constaté que certains EFI ont des bugs qui causent des problèmes avec les ESP infèrieures à 512MiB (537MB) où des fichiers ne peuvent pas être lus par l'EFI, donc je vous recommande la création d’une ESP d’au moins 550MiB. | ||
| + | * Chaque chargeur de démarrage EFI doit être stocké dans un sous-répertoire du répertoire EFI sur l'ESP. | ||
| + | * Ces répertoires sont généralement nommés d'après le système d'exploitation qui les a créés. \\ Par exemple: | ||
| + | * Ubuntu met ses fichiers EFI dans EFI/ubuntu | ||
| + | * Red Hat met ses fichiers dans EFI/redhat | ||
| + | Une fois Linux installé, l'ESP est monté dans **/boot/efi** de sorte que l’arborescence soit : | ||
| + | <code>/boot/efi/EFI/ubuntu</code> | ||
| + | <code>/boot/efi/EFI/redhat</code> | ||
| + | Si vous avez besoin d'installer un chargeur de démarrage indépendamment de votre système d'exploitation, vous pouvez créer votre propre répertoire. \\ | ||
| + | Exemple : | ||
| + | EFI/refind pour Refind. | ||
| ===== rEFIND ===== | ===== rEFIND ===== | ||
| - | Refind est un un fork REFIT, c'est un boot manager pour les ordinateurs implémanté par l'Extensible Firmware Interface (EFI) et Unified EFI (UEFI). Il faut faire la distinction entre un boot loader tel que GRUB et un boot mangager, comme rEFIND, rEFIND est indépendant du systèmes d'exploitation, il va chercher ses fichiers de configuration et drivers dant le répertoire **EFI/refind** de l' ESP, contrairement à GRUB qui lui va chercher ses fichiers de configuration dans **/boot/grub** monté sur la partition racine de Linux. | + | Refind est un un fork REFIT, c'est un boot manager pour les ordinateurs implémentés par l'Extensible Firmware Interface (EFI) et Unified EFI (UEFI). \\ |
| + | Il faut bien faire la distinction entre un boot loader tel que GRUB et un boot manager. | ||
| - | Vous pouvez l'installer, une clé USB, un disque dur, un cdrom, ce qui le rend très polyvalent, et pratique. | + | rEFIND est indépendant du systèmes d'exploitation, c'est une application UEFI qui accède aux même interfaces que le gestionnaire d'amorçage intégré dans le micrologiciel de votre carte mère. |
| - | <note>Il peut être utile d'avoir une clé USB de secours avec une partition réservé juste pour rEFIND en cas de soucis au boot, vous pourrez alors démarrer votre OS indépendemment et ainsi débuguer votre EFI.</note> | + | Vous pouvez l'installer sur de multiples supports, il scannera votre disque à la recherche d'un fichier //amorce// que ce soit Windows, Unix, Mac ou Linux, aussi bien les systèmes BIOS Legacy que EFI. |
| + | <note>Il peut être utile d'avoir une clé USB de secours avec une partition réservée juste pour rEFIND car en cas de soucis au boot vous pourrez toujours démarrer votre OS indépendamment et ainsi débuguer votre EFI.</note> | ||
| - | + | [[http://www.rodsbooks.com/refind/|Site officiel de rEFIND]] | |
| - | + | ||
| - | http://www.rodsbooks.com/refind/ | + | |
| =====Obtenir rEFIND===== | =====Obtenir rEFIND===== | ||
| - | Aller à la page de téléchargement de [[http://www.rodsbooks.com/refind/getting.html|rEFIND]]. | + | - Allez à la page de téléchargement de [[http://www.rodsbooks.com/refind/getting.html|rEFIND]]. |
| - | + | - Téléchargez les fichiers correspondants à votre périphérique. | |
| - | Télécharger les fichiers correspondant à votre périphériques. | + | |
| Dans cet exemple je vais utiliser une image disque USB. | Dans cet exemple je vais utiliser une image disque USB. | ||
| + | Après décompression je copie l'image disque à l'aide de [[commande:dd]], afin de récupérer les fichiers de l'image. | ||
| - | Après décompression je copie l' image disque à l'aide de <dd>, afin de récupérer les fichiers de l'image. | + | <code bash> |
| - | + | ||
| - | <code> | + | |
| $ dd if=refind-flashdrive-0.7.3.img of=/dev/sdx bs=1M # Copie sur la clef USB | $ dd if=refind-flashdrive-0.7.3.img of=/dev/sdx bs=1M # Copie sur la clef USB | ||
| $ mount /dev/sdb1 /media/usb0 | $ mount /dev/sdb1 /media/usb0 | ||
| Ligne 87: | Ligne 100: | ||
| =====Système de fichiers EFI===== | =====Système de fichiers EFI===== | ||
| - | Une fois les fichiers récupérer nous devons créer une table de partition GPT, un ESP et une partition FAT32 sur notre clé USB, pour acceuillir notre bootmanager, et notre image iso. | + | Une fois les fichiers récupérés, nous devons créer sur notre clé USB : |
| + | - une table de partition GPT, | ||
| + | - un ESP et | ||
| + | - une partition FAT32 | ||
| + | pour accueillir notre bootmanager, et notre image iso. | ||
| - | On va utiliser <gdisk>, ce soft est similaire à fdisk, mais a nous permettre de manipuler des tables de partition GPT. | + | On va utiliser //gdisk//, ce soft est similaire à [[commande:fdisk]] mais va nous permettre de manipuler des tables de partition GPT. \\ |
| - | Sur la plupart des distributions il n'est pas installer par défault. | + | Sur la plupart des distributions //gdisk// n'est pas installé par défaut. |
| - | <code> | + | <code bash> |
| $ sudo apt-get install gdisk | $ sudo apt-get install gdisk | ||
| $ sudo gdisk /dev/sdb | $ sudo gdisk /dev/sdb | ||
| $ o # Créer une nouvelle table de partion GPT | $ o # Créer une nouvelle table de partion GPT | ||
| $ n # Créer une nouvelle partition | $ n # Créer une nouvelle partition | ||
| - | $ 1 # Par défault partition numéro 1 | + | $ 1 # Par défaut partition numéro 1 |
| - | $ 2048 # Premier secteur par défault | + | $ 2048 # Premier secteur par défaut |
| - | $ +100M # 100 MB je pense que cela suffira, si vous rencontrez des problèmes, augmenter sa taille. | + | $ +100M # 100 MB je pense que cela suffira, si vous rencontrez des problèmes, augmentez sa taille. |
| $ ef00 # ef00 (EFI File System) | $ ef00 # ef00 (EFI File System) | ||
| </code> | </code> | ||
| - | Création d'une seconde partion pour notre image iso. | + | Création d'une seconde partition pour notre image iso : |
| - | + | <code bash> | |
| - | <code> | + | |
| $ n | $ n | ||
| - | $ 206848 # 206848 par défault à la suite de l'ESP | + | $ 206848 # 206848 par défaut à la suite de l'ESP |
| $ +1000M # 1 GB, à adapter selon la taille de votre iso. | $ +1000M # 1 GB, à adapter selon la taille de votre iso. | ||
| $ 8300 # 8300 (Linux File System) | $ 8300 # 8300 (Linux File System) | ||
| Ligne 113: | Ligne 129: | ||
| </code> | </code> | ||
| - | Ensuite, il faut redémarer pour que le Kernel relise la table de partitions. | + | Ensuite, il faut redémarrer pour que le Kernel relise la table de partition. |
| - | + | <code bash> | |
| - | <code> | + | |
| $ sudo shutdown -r now | $ sudo shutdown -r now | ||
| </code> | </code> | ||
| - | Création d' un système de fichiers FAT32 sur les deux partions : | + | Création d'un système de fichiers FAT32 sur les deux partitions : |
| - | + | <code bash> | |
| - | <code> | + | |
| $ mkfs.vfat -F32 /dev/sdb1 | $ mkfs.vfat -F32 /dev/sdb1 | ||
| $ mkfs.vfat -F32 /dev/sdb2 | $ mkfs.vfat -F32 /dev/sdb2 | ||
| Ligne 128: | Ligne 142: | ||
| ===== Installation ===== | ===== Installation ===== | ||
| - | Pour l'installation on aura juste à copier les fichiers que étaient dans l'image flashdrive de rEFIND dans notre ESP; et utiliser Unetbootin pour copier notre iso sur notre seconde partition. | + | Pour l'installation on aura juste à copier les fichiers qui étaient dans l'image //flashdrive// de rEFIND dans notre ESP et d'utiliser //Unetbootin// pour copier notre iso sur notre seconde partition. |
| Montage des périphériques : | Montage des périphériques : | ||
| - | + | <code bash> | |
| - | <code> | + | |
| $ sudo mount /dev/sdx1 /media/usb0 | $ sudo mount /dev/sdx1 /media/usb0 | ||
| $ sudo mount /dev/sdx2 /media/usb1 | $ sudo mount /dev/sdx2 /media/usb1 | ||
| </code> | </code> | ||
| - | Copie de rEFIND sur la premiere partition : | + | Copie de rEFIND sur la première partition : |
| - | <code> | + | <code bash> |
| $ sudo cp -r EFI shellx64.efi /media/usb0 # x64 ou ia32 selon votre architecture (ia32 sur MAC) | $ sudo cp -r EFI shellx64.efi /media/usb0 # x64 ou ia32 selon votre architecture (ia32 sur MAC) | ||
| $ cd /media/usb0 | $ cd /media/usb0 | ||
| $ ls | $ ls | ||
| bootia32.efi bootx64.efi drivers_ia32 drivers_x64 icons refind.conf | bootia32.efi bootx64.efi drivers_ia32 drivers_x64 icons refind.conf | ||
| - | $ rm -r bootia32.efi drivers_ia32 #Supression des fichiers inutiles | + | $ rm -r bootia32.efi drivers_ia32 # Suppression des fichiers inutiles |
| - | $ mv refind.conf exemple.conf #Jeter un oeil à ce fichier, il y-a plein de commentaire. | + | $ mv refind.conf exemple.conf # Jetez un oeil sur ce fichier, il contient plein de commentaires. |
| </code> | </code> | ||
| Ensuite installons notre iso avec Unetbootin : | Ensuite installons notre iso avec Unetbootin : | ||
| - | + | <code bash> | |
| - | <code> | + | |
| $ sudo apt-get install unetbootin | $ sudo apt-get install unetbootin | ||
| $ sudo unetbootin & | $ sudo unetbootin & | ||
| </code> | </code> | ||
| - | Bon là pas besoin de moi, vous installez une iso qui vous fais des misères (Crunchbang, LMDE) sur /dev/sdx2. | + | Bon là pas besoin de moi, vous installez une iso qui vous fait des misères (Crunchbang, LMDE) sur /dev/sdx2. ;-) \\ |
| - | + | Dans cet exemple j'utilise //Crunchbang//. | |
| - | Dans cet exemple j'utilise Crunchbang. | + | |
| =====Configuration===== | =====Configuration===== | ||
| Ligne 163: | Ligne 174: | ||
| On approche de la fin, et on entame la partir la plus marrante. | On approche de la fin, et on entame la partir la plus marrante. | ||
| - | Toutes la configuration ce fait dans le fichier refind.conf. | + | Toutes la configuration ce fait dans le fichier ''refind.conf''. \\ |
| + | Jetez un oeil sur la page de Roderick W. Smith, [[http://www.rodsbooks.com/refind/configfile.html|Configuring the Boot manager]]. \\ | ||
| + | Et aussi, le fichier ''example.conf'' qu'on a renommé tout à l'heure. | ||
| - | Jeter un oeil sur la page de Roderick W. Smith, [[http://www.rodsbooks.com/refind/configfile.html|Configuring the Boot manager]]. | + | <code bash> |
| - | + | ||
| - | Et aussi, le fichier example.conf qu'on a rennomer tout à l'heure. | + | |
| - | + | ||
| - | <code> | + | |
| $ nano refind.conf | $ nano refind.conf | ||
| </code> | </code> | ||
| Mon fichier refind.conf: | Mon fichier refind.conf: | ||
| - | |||
| <code> | <code> | ||
| timeout 10 | timeout 10 | ||
| Ligne 220: | Ligne 228: | ||
| <note important> | <note important> | ||
| - | rEfind est assez capricieux, votre fichier refind.conf ne doit pas avoir un pet de travers, aussi quelquefois un simple reboot permet de lancer votre kernel tranquillement. oO | + | rEfind est assez capricieux, votre fichier refind.conf ne doit pas avoir un pet de travers, aussi quelquefois un simple reboot permet de lancer votre kernel tranquillement. 8-o \\ |
| - | C'est pour cela qu'il n' ya pas de commentaires dans le fichier, ci-dessus. | + | C'est pour cela qu'il n'y a pas de commentaire dans le fichier ci-dessus. |
| </note> | </note> | ||
| - | + | Pour vous aider vous aurez besoin du fichier ''syslinux.cfg'' généré par Unetbootin : | |
| - | Pour vous aider vous aurez besoin du fichier syslinux.cfg générer par Unetbootin : | + | <code bash> |
| - | + | ||
| - | <code> | + | |
| $ cd /media/usb1 | $ cd /media/usb1 | ||
| $ cat syslinux.cfg | $ cat syslinux.cfg | ||
| Ligne 260: | Ligne 266: | ||
| ===== Utilisation ===== | ===== Utilisation ===== | ||
| - | C'est le moment de vérité, on peut redémarer. Dans l'interface de votre EFI, vous choisissez votre clé USB, la première partition si vous avez le choix. | + | C'est le moment de vérité, on peut redémarrer. \\ |
| - | Là normalement rEFIND se lance, il doit tout d'abord scanner vos disques. En mode texte vous devriez avoir le choix entre votre os principal et ensuite les menuentry que l'on a ajouter dans notre refind.conf. | + | Dans l'interface de votre EFI, vous choisissez votre clé USB, la première partition si vous avez le choix. \\ |
| + | Là normalement rEFIND se lance, il doit tout d'abord scanner vos disques. \\ | ||
| + | En mode texte vous devriez avoir le choix entre votre OS principal et ensuite les menuentry que l'on a ajoutés dans notre ''refind.conf''. | ||
| Essayons Crunch_Live ... | Essayons Crunch_Live ... | ||
| - | Si vous avez de la chance, il se lance, sinon comme je vous l'ai dit plus haut, il est très capricieux, il ne doit pas y avoir un pet de travers, dans votre fichier de configuration. | + | Si vous avez de la chance, il se lance, sinon comme je vous l'ai dit plus haut, il est très capricieux, il ne doit pas y avoir un pet de travers dans votre fichier de configuration. |
| - | + | ||
| - | + | ||
| - | Enfin pas de paniques, il y a le **shell UEFI** pour éditer ce fichier sans avoir besoin de redémarrer, je l'ai mis dans les tools, un peu plus haut. | + | |
| + | Enfin pas de panique, il y a le **shell UEFI** pour éditer ce fichier sans avoir besoin de redémarrer, je l'ai mis dans les tools, un peu plus haut. | ||
| ===== UEFI Shell ===== | ===== UEFI Shell ===== | ||
| - | Si vous voulez editer vos fichiers, démarrer linux en ligne de commande ou ajouter une nouvelle entrée dans votre NVRAM, c'est là que ça se passe. | + | Si vous voulez éditer vos fichiers, démarrer linux en ligne de commande ou ajoutez une nouvelle entrée dans votre NVRAM, c'est là que ça se passe. |
| <note> | <note> | ||
| - | Le Shell EFI est en Qwerty, entraîné vous un peu avant ! Il faut que vous repériez ou sont les caractères spéciaux ! | + | Le Shell EFI est en Qwerty, entraînez-vous un peu avant ! Il faut que vous repériez sur votre clavier où sont les caractères spéciaux ! |
| </note> | </note> | ||
| Ligne 284: | Ligne 288: | ||
| La syntaxe ressemble beaucoup à DOS. | La syntaxe ressemble beaucoup à DOS. | ||
| - | Les systèmes de fichiers sont représentés par des fs0, fs1, fs3 etc... , fs0: étant la première partition de votre clef USB, si vous lancez ce Shell depuis celle-ci. L'antislash est de rigueur. | + | Les systèmes de fichiers sont représentés par des fs0, fs1, fs3 etc... , fs0: étant la première partition de votre clef USB, si vous lancez ce Shell depuis celle-ci. \\ |
| + | L'antislash est de rigueur. | ||
| Exemple : | Exemple : | ||
| - | <code> | + | <code bash> |
| shell> cd fs0:\EFI\boot | shell> cd fs0:\EFI\boot | ||
| fs0:\EFI\boot\> edit refind.conf | fs0:\EFI\boot\> edit refind.conf | ||
| </code> | </code> | ||
| - | |||
| Quelques commandes utiles : | Quelques commandes utiles : | ||
