L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →

Différences

Ci-dessous, les différences entre deux révisions de la page.

--- doc:install:refind-boot-uefi [18/08/2013 19:48]
mytux [rEFIND]
+++ doc:install:refind-boot-uefi [04/09/2013 16:00]
mytux [Le BIOS]
@@ 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)
 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.
@@ Ligne 13: / Ligne 9: @@
   * Objet : Boot d'une distribution non compatible avec EFI & UEFI.
   * 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à !.]] :-)
   * Suivi : {{tag>en-chantier à-tester à-placer}}
@@ Ligne 19: / Ligne 15: @@
 =====Le BIOS=====
-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.
+A l'aube de l'ère du premier PC en 1981, [[wp>IBM]] livrait son [[http://fr.wikipedia.org/wiki/IBM_PC|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'éffectuer 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 pouvantt être lus et éxécuté. Ce premier secteur qu'on appella MBR devait ensuite passer la main à un autre périphérique ou au système d'exploitation.
+Son rôle est d' initialiser tous les composants de la carte mère, identifier tous les périphériques internes et externes qui lui sont connectés, définir un ordre de priorité des périphériques d'entrée, démarrer le //bootloader// présent sur le premier périphérique disponible.
-Le bios est généralement écrit en assembleur et est seulement capable d'éxécuté des instructions sur 16 bits alors 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.
+Le Bios est écrits en assembleur et contient une suites de routines d' interruption que le processeur exécute.
-=====EFI et UEFI=====
-J'utilise le terme EFI pour se référer soit à EFI 1.X et l'UEFI.
+==Power Good==
+Le BIOS vérifie que la tension fournie par le transformateur est adéquate et stable. Dans le but d’éviter tout bris de la carte-mère ou du CPU. Si les paramètres de stabilité ne sont pas conformes aux besoins, il avortera le démarrage de l’ordinateur évitant ainsi de griller les circuits ou le(s) processeur(s).
-L'EFI (Extensible Firmware Interface) et sa variante plus récente, [[wp>UEFI]] (Unified EXtensible Firmware Interface), sont des conceptions de firmware qui sont destinés à remplacer le BIOS. EFI, a été dévelloppé par Intel pour sont nouveaux processeurs Itanium.
+==POST (Power On Self Test)==
+Lors de cette étape, le programme intégré à la carte-mère teste la présence des divers périphériques et tente de leur attribuer les ressources nécessaires à un fonctionnement sans conflit.
+Au cours de la phase du POST, le programme du BIOS a déjà listé tous les périphériques de type "mémoire de masse" (disque, disquette, clef USB, carte SD, cdrom etc...) auxquels il pourrait avoir accès.
+Il va maintenant essayer de "passer la main"  aux programmes susceptibles d'être inscrits dans ces mémoires de masses.
-Les capcités de l'EFI sont bien plus grandes celles du BIOS, EN effet un EFI peut lire une tables de partitions et accèder au systèmes de fichiers, il ne prend pas en charge le multitâches mais peut éxé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.
+==Bootsrap Loader==
+Pour cela, le //bootstrap loader// du BIOS  lit le premier secteur du premier périphérique de type //mémoire de masse//, afin de savoir s'il s'agit d'un //secteur bootable//.
-L'amorçage EFI est donc bien plus souple, contrairement au bios qui lui liste simplement les périphériques, il lit leurs contenu à la recherche d'éxécutable UEFI.
+Si ce premier secteur est marqué par le nombre //AA55h à l'offset 1FEh => 2 dernier octets du secteur//, il va en déduire qu'il s'agit certainement d'un secteur amorçable, et il va copier les instruction contenues dans le //bootstrap code area// de ce //MBR// en mémoire (0000h:7C00h) afin de pour pouvoir lancer l'exécution des instructions de ce //bootstrap code//.
-Cela permet à plusieurs chargeurs de démarrage de coexister sur un même disque dur, et d'être accessible tout en utilisant des mécanismes d'accès aux fichiers normaux.
+Ces instructions sont inscrites dans le MBR par les chargeurs de démarrage.
-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 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, pourront s'éxécuter.
+=====EFI et UEFI=====
-=====Structure de disque EFI=====
+J'utilise le terme EFI pour se référer soit à EFI 1.X et l'UEFI.
-Selon la version et le constructeur de votre fimware, ces règles peuvent variées cependant voici un aperçu.
+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. \\
+EFI, a été développé par Intel pour son nouveau processeur //Itanium//.
-Pout ous périphériqued de stockage EFI recherche un répertoire EFI, et liste un point amorce pour chaque fichier ressemblant à *x64.efi *ia32.efi.
+Les capacités de l'EFI sont bien plus grandes que celles du BIOS, \\
+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âche 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.
-Deux format de tables sont pris en charges, MBR et GPT, cependant je vous recommadent le partitionnement sur une table GPT, elle accèpte jusqu' à 128 partitions primaires.
+L'amorçage EFI est donc bien plus souple. \\
+Contrairement au bios qui liste simplement les périphériques, l'EFI lit leur contenu à la recherche d'exécutable UEFI.
-Pour qu'un amorçage UEFI est lieu sur un dique sata, cd dernier doit comporter une partition spéciale ESP (EFI File System), ceci n'est valable pour un dique USB.
+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.
-L'ESP devrait officiellement utiliser un système de fichiers FAT32, bien que de nombreuses distributions Linux utilise un système de fichiers FAT16, quelque fois FAT12.
+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 de **efibootmgr**, du **Shell EFI**, ou d'utiliser un boot manager comme **rEFIND**. [[https://wiki.archlinux.org/index.php/UEFI_Bootloaders#Linux_Kernel_EFISTUB|Voir EFI stub loader sur ArchWiki]]
-<note>GPT et FAT32 est un bon compromis.</note>
+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.
-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.
+=====Structure de disque EFI=====
-Chaque chargeur de démarrage EFI doit être stocké dans un sous-répertoire du répertoire EFI sur l'ESP.
+Selon la version et le constructeur de votre fimware, ces règles peuvent varier. \\
-Ces répertoires sont généralement nommés d'après le système d'exploitation qui les a créés.
+En voici un aperçu :
-Par exemple:
+  * 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 fixe, ce dernier doit comporter une partition spéciale ESP (EFI File System), cela peut être contourné en utilisant les pilotes de systèmes de fichier EFI.
+  * 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 info>GPT et FAT32 sont un bon compromis.</note>
+  * Des utilisateurs ont constaté que certains EFI ont des bugs avec certains boot loaders,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:
+  * Debiqn met ses fichiers dans EFI/debian
+  * Ubuntu met ses fichiers EFI dans EFI/ubuntu
+  * Red Hat met ses fichiers dans EFI/redhat
-  *Ubuntu met ses fichiers EFI dans EFI/ubuntu
+Une fois Linux installé, l'ESP est monté dans **/boot/efi** de sorte que l’arborescence soit :
-  *Red Hat met ses  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>
+<code>/boot/efi/EFI/debian</code>
-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.
+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.
-Exemple :  EFI/refind pour Refind.
+===== rEFIND, EFI boot manager =====
+La plupart des ordinateurs avec une architecture x86-64 et un firmware EFI intègrent un module de compatibilité appellé CSM (Compatibility Support Module), qui est un mode d'émulation du BIOS. D'autres firmwares EFI sont construits au-dessus d' un bios traditionnel, ainsi il est possible de garder les capacités du bios et booter un ordinateur EFI, en mode legacy.
+Cependant il peut arriver que certaines cartes mères n'offrent pas ces options ou que vous souhaitiez par soucis de facilité, utiliser un boot loader plus polyvalent et pouvoir lancer une image disque d'une distribution Linux n'offrant pas le support pour l' UEFI, en mode EFI.
+Il existe de nombreux chargeurs de démarrage EFI, tel que :
+  * **Elilo** : Elilo est le plus ancien boot loader stable EFI.
+  * **Grub legacy** : La version officiel de Grub legacy ne supporte pas le démarrage EFI,cependant Fedora(>=17) utilise une version qui inclut ce support.
+  * **Grub 2** : Grub2, peut chaîner des d'autres chargeurs de démarrage EFI, peut lire de nombreux systèmes de fichiers, permet de passé des options au noyau avant le démarrage, détecte et configure d'autres systèmes d'exploitation et fournit un Shell.
+  * **Efi stub loader** : Fin 2011, les développeurs du noyau Linux, transforme le kernel en application EFI, ainsi il est possible de passer la main au kernel sans utiliser de chargeur de démarrage. (A partir du kernel 3.3.0)
+  * **Refit** : Refit n'est pas un gestionnaire de démarrage, il ne peut charger le noyau Linux ni tout autre OS, son seul but est de charger un boot loader.
+  * **Gumniboot** :Gumniboot, est un gestionnaire de démarrage, il est très simple, seulement en mode texte.
+  * **Refind**: Refind est le couteau Suisse UEFI, c'est un gestionnaire de démarrage, il détecte automatiquement les systèmes et chargeur de démarrage présents sur vos disques.
-===== rEFIND =====
+Refind est un un fork REFIT (l'auteur de Refit a abandonné le projet, il n'a pas été mis a jour depuis plus de trois ans), 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, qui charge l'initial RAM disk et le noyau en mémoire et un boot mangager qui charge un boot loader. rEFIND est indépendant du systèmes d'exploitation, c'est une application UEFI qui accède aux mêmes interfaces que le gestionnaire d'amorçage intégré dans le micrologiciel de votre carte mère.
-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).
+===Caractéristiques :===
-Il faut faire la distinction entre un boot loader tel que GRUB et un boot manager.
+  * Auto-détection des chargeurs de démarrage EFI et Bios.
+  * Auto-détection de l'initial RAM disk et du kernel.
+  * Lancement des chargeurs de démarrahe EFI et Bios.
+  * Lancement des utilitaires EFI Shell et Gptsync.
+  * Charge les pilotes EFI pour les systèmes de fichier ou périphériques non supportés nativement par votre firmware.
-rEFIND est indépendant du systèmes d'exploitation, c'est une application UEFI qui accèdent aux même interfaces que le gestionnaire d'amorçage intégré dans le micrologicielle de votre carte mère.
+Mais aussi :
-Vous pouvez l'installer sur de multiple support, ils scanera votre disque à la recherche d'un fichier amorce que ce soit Windows, Unix, Mac ou Linux, aussi bien des systèmes Bios Legacy que EFI.
+  * La possibilité d'avoir le choix entre une interface graphique ou texte seulement.
+  * Graphique configurable, en ajoutant des polices, fond d'écrans et icônes personnalisés.
+  * Réglage de la résolution d'écran.
-<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>
+  * Economisateur d'écran.
+<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]]
-=====Obtenir rEFIND=====
-Aller à la page de téléchargement de [[http://www.rodsbooks.com/refind/getting.html|rEFIND]].
-Télécharger les fichiers correspondant à votre périphériques.
+==== Installation sur disque amovible====
-Dans cet exemple je vais utiliser une image disque USB.
-Après décompression je copie l' image disque à l'aide de <dd>, afin de récupérer les fichiers de l'image.
-<code>
-$ dd if=refind-flashdrive-0.7.3.img of=/dev/sdx bs=1M   # Copie sur la clef USB
-$ mount /dev/sdb1 /media/usb0
-$ cd /media/usb0
-$ls
-EFI  shellia32.efi  shellx64.efi                        # On récupère les fichiers.
-$ cp -r * ~/
-$ umount /media/usb0                                    # Et on démonte, pour préparer le système de fichier.
-</code>
-=====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.
-On va utiliser <gdisk>, ce soft est similaire à fdisk, mais a nous permettre de manipuler des tables de partition GPT.
-Sur la plupart des distributions il n'est pas installer par défault.
-<code>
-$ sudo apt-get install gdisk
-$ sudo gdisk /dev/sdb
-$ o                           # Créer une nouvelle table de partion GPT
-$ n                           # Créer une nouvelle partition
-$ 1                           # Par défault partition numéro 1
-$ 2048                        # Premier secteur par défault
-$ +100M                       # 100 MB je pense que cela suffira, si vous rencontrez des problèmes, augmenter sa taille.
-$ ef00                        # ef00 (EFI File System)
-</code>
-Création d'une seconde partion pour notre image iso.
-<code>
-$ n
-$ 206848                     # 206848 par défault à la suite de l'ESP
-$ +1000M                     # 1 GB, à adapter selon la taille de votre iso.
-$ 8300                       # 8300 (Linux File System)
-$ w                          # On sauvegarde
-</code>
-Ensuite, il faut redémarer pour que le Kernel relise la table de partitions.
-<code>
-$ sudo shutdown -r now
-</code>
-Création d' un système de fichiers FAT32 sur les deux partions :
-<code>
-$ mkfs.vfat -F32 /dev/sdb1
-$ mkfs.vfat -F32 /dev/sdb2
-</code>
-===== 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.
-Montage des périphériques :
-<code>
-$ sudo mount /dev/sdx1 /media/usb0
-$ sudo mount /dev/sdx2 /media/usb1
-</code>
-Copie de rEFIND sur la premiere partition :
-<code>
-$ sudo cp -r EFI shellx64.efi  /media/usb0                                                  # x64 ou ia32 selon votre  architecture (ia32 sur MAC)
-$ cd /media/usb0
-$ ls
-bootia32.efi  bootx64.efi  drivers_ia32  drivers_x64  icons  refind.conf
-$ rm -r bootia32.efi drivers_ia32                                                           #Supression des fichiers inutiles
-$ mv refind.conf exemple.conf                                                               #Jeter un oeil à ce fichier, il y-a plein de commentaire.
-</code>
-Ensuite installons notre iso avec Unetbootin :
-<code>
-$ sudo apt-get install unetbootin
-$ sudo unetbootin &
-</code>
-Bon là pas besoin de moi, vous installez une iso qui vous fais des misères (Crunchbang, LMDE) sur /dev/sdx2.
-Dans cet exemple j'utilise Crunchbang.
 =====Configuration=====
@@ Ligne 194: / Ligne 136: @@
 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 se 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
 </code>
 Mon fichier refind.conf:
 <code>
 timeout 10
@@ Ligne 251: / Ligne 190: @@
 <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>
+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
 $ cat syslinux.cfg
@@ Ligne 289: / Ligne 226: @@
 </code>
-===== Utilisation =====
+===== UEFI Shell =====
-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 ...
-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 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.
-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.
-===== 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>
-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>
@@ Ligne 315: / Ligne 250: @@
 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 :
-<code>
+<code bash>
 shell> cd fs0:\EFI\boot
 fs0:\EFI\boot\> edit refind.conf
 </code>
 Quelques commandes utiles :

doc/install/refind-boot-uefi.txt · Dernière modification: 26/11/2015 18:38 par milou

Debian-facile

Différences

Pied de page des forums