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 [17/08/2013 17:19] mytux [rEFIND] |
doc:install:refind-boot-uefi [02/09/2013 12:03] mytux [Structure de disque EFI] |
||
---|---|---|---|
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}} | ||
+ | =====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). Au fil du temps, le BIOS a pris de l'àge, ecris sur un de 16 bits, alors que les systèmes d'exploitation et le matériel évoluaient, passant de 32 bits à 64 bits. Les OS avancés n'ont puent continuer à utiliser le Bios sans pertes de performance. Aujourd'hui, donc, le rôle principal du BIOS est de commencer le processus de démarrage, Une fois que le système est démarré, le BIOS n’a plus d’intérêt. Pourtant, le démarrage de l'ordinateur est une tâche importante, et la vieille conception du BIOS créé est limitée. | + | 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. | ||
- | =====EFI et UEFI===== | + | 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)). | ||
- | J'utilise le terme EFI pour se référer soit à EFI 1.X ou plus l'UEFI. | + | 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. | ||
- | 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> | + | =====EFI et UEFI===== |
- | =====Structures de disques EFI===== | + | |
- | 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. | + | J'utilise le terme EFI pour se référer soit à EFI 1.X et l'UEFI. |
- | GPT offre deux avantages : | + | |
- | *Il supporte les disques de Plus de 2.2 to. | + | 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. \\ |
- | *Il a une limite de 128 partitions primaires. | + | EFI, a été développé par Intel pour son nouveau processeur //Itanium//. |
- | 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. | + | 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. | ||
+ | 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. | ||
+ | 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. | ||
- | 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**. | + | 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 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**. | + | 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. | ||
- | 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. | + | =====Structure de disque EFI===== |
+ | 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), cela peut etre contourner en utilisant les pilotes de systemes de fichiers 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 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, EFI boot manager ===== | ||
+ | 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. | ||
- | ===== rEFIND ===== | + | 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. |
- | 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. | + | 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> | ||
- | Vous pouvez l'installer, une clé USB, un disque dur, un cdrom, ce qui le rend très polyvalent, et pratique. | + | [[http://www.rodsbooks.com/refind/|Site officiel de rEFIND]] |
- | http://www.rodsbooks.com/refind/ | ||
- | =====Getting rEFIND===== | ||
- | Aller à la page de téléchargement de [[http://www.rodsbooks.com/refind/getting.html|rEFIND]]. | + | =====Installation sur disque fixe===== |
- | Télécharger les fichiers correspondant à votre périphériques. | + | 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. | ||
- | Dans cet exemple je vais utiliser une image disque USB. | + | 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 //gdisk// n'est pas installé par défaut. | ||
- | 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 | + | |
- | $ 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> | + | |
- | + | ||
- | =====EFI file System===== | + | |
- | + | ||
- | 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 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 |
- | $ +2000M # 2 GB, je vois large. | + | $ +1000M # 1 GB, à adapter selon la taille de votre iso. |
$ 8300 # 8300 (Linux File System) | $ 8300 # 8300 (Linux File System) | ||
$ w # On sauvegarde | $ w # On sauvegarde | ||
</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 | ||
</code> | </code> | ||
- | ===== Installation ===== | + | ===== Installation sur disque amovible===== |
- | 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 156: | Ligne 160: | ||
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 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 | $ nano refind.conf | ||
</code> | </code> | ||
Mon fichier refind.conf: | Mon fichier refind.conf: | ||
- | |||
<code> | <code> | ||
timeout 10 | timeout 10 | ||
Ligne 184: | Ligne 185: | ||
scan_delay 1 | scan_delay 1 | ||
+ | |||
+ | scan_all_linux_kernels | ||
dont_scan_dirs EFI/linuxmint,boot | dont_scan_dirs EFI/linuxmint,boot | ||
Ligne 211: | Ligne 214: | ||
<note important> | <note important> | ||
- | rEfind est assez capricieux, votre fichier refind.conf ne doit pas avoir un pet de travers. | + | 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 249: | Ligne 250: | ||
</code> | </code> | ||
- | ===== Utilisation ===== | + | |
+ | ===== UEFI Shell ===== | ||
- | C'est le moment de vérité, on peut redémarer. | + | C'est le moment de vérité, on peut redémarrer. \\ |
- | + | Dans l'interface de votre EFI, vous choisissez votre clé USB, la première partition si vous avez le choix. \\ | |
- | On choisis de démarrer sur l' ESP dans l'interface de notre EFI. | + | 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''. | |
- | 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. | + | |
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 avoir un pet de travers. | + | 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. |
- | Crunchbang a refuse de booter parcequ' il y avait un point entre deux lignes, j'ai mis trois plombes pour trouver le problème. | + | 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 **EFI_shell** pour éditer ce fichier sans avoir besoin de redémarrer, je l'ai mis dans les tools, un peu plus haut. | ||
+ | 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înez-vous un peu avant ! Il faut que vous repériez sur votre clavier où sont les caractères spéciaux ! | ||
+ | </note> | ||
- | + | Dans le menu de rEFIND, vous choisissez Shell EFI, là du texte jaune sur un fond noir c'est le Shell EFI. | |
- | ===== 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. | + | La syntaxe ressemble beaucoup à DOS. |
- | <note> | + | 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. \\ |
- | 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 ! | + | L'antislash est de rigueur. |
- | </note> | + | |
- | Dans le menu de rEFIND, vous choisissez Shell EFI, là du texte jaune sur un fond noir c'est le Shell EFI. | + | Exemple : |
+ | <code bash> | ||
+ | shell> cd fs0:\EFI\boot | ||
+ | fs0:\EFI\boot\> edit refind.conf | ||
+ | </code> | ||
- | La syntaxe est un mélange entre le DOS et le Shell UNIX. | + | Quelques commandes utiles : |
+ | *cd : ce déplacer. | ||
+ | *rm : supprimer un fichier | ||
+ | *mkdir : créer un répertoire | ||
+ | *map : pour lister vos périphériques | ||
+ | *map -t hd : pour filtrer la sortie, sur vos disques de USB et sata. | ||
+ | *edit : editeur de texte, f2 pour enregistrer et f3 pour quitter | ||
+ | *exit : quitter le shell | ||
+ | *reset : reboot | ||