Table des matières

Installation de Debian sur un ordinateur équipé de l'UEFI

Voir aussi:
https://debian-facile.org/doc:materiel:secure-boot
https://debian-facile.org/doc:install:install
https://debian-facile.org/doc:install:dual-boot-debian-et-windows-sur-un-ordinateur-equipe-de-l-uefi

Introduction

Qu'est ce que Debian et pourquoi l'installer ?

Voici une rapide présentation, au format pdf, de ce qu'est Debian et des avantages que vous pouvez en tirer : Le livre du Grand Débutant qui Débute :-)

Informations et conseils généraux

En résumé voici ce que nous allons faire dans ce wiki :

C'est quoi UEFI ?

Unified Extensible Firmware Interface (UEFI) est une interface logicielle présente sur la majorité des ordinateurs récents (depuis 2010). Elle vient se placer entre le micrologiciel (firmware) et le système d'exploitation pour permettre de contrôler les paramètres de l'ordinateur. À ce titre, elle remplace la traditionnelle interface du BIOS.

Les fabricants de PC incluent par défaut des “clefs” Microsoft dans l'UEFI permettant ainsi à l'OS de profiter de ce boot sécurisé après vérification de cette clef.

Microsoft fournit aussi un service de signature pour des distributions Linux(une poignée seulement) ce qui permet à ces distributions de démarrer sur la plupart des PC avec le secure boot activé sans avoir besoin de configuration supplémentaire.

MAIS (YA TOUJOURS UN MAIS)

Microsoft fait signer les chargeurs de démarrage Linux avec une clé Microsoft, mais là ou c'est drôle c'est que ces chargeurs de démarrage sont signés avec une clé différente de celle utilisée par Microsoft pour signer Windows. (PAF LE CHIEN)

Les fabricants de PC ne sont pas tenus d'inclure la clé Microsoft pour les applications UEFI tiers dans le cadre de la spécification de démarrage sécurisé, ce qui signifie que ces distributions Linux peuvent ne pas fonctionner effectivement sur tous les PC de démarrage sécurisé.

Quasiment tous les pc achetés dans le commerce avec Windows 8 ou supérieur ont un UEFI équipé du secure boot, ce qui peut poser un problème pour le dual boot avec les distribution GNU/Linux, mais ce wiki est là pour vous expliquer comment faire…

Pré-requis

Avant de nous lancer dans l'installation de Debian, nous devons préparer le terrain.

Pour cela, prévoir :

Sauvegarder nos données

Avant de se lancer dans ce wiki, il est vivement conseillé de créer une clé USB de récupération de Windows, car celui-ci sera complètement supprimé et, en cas de réinstallation de Windows, la clé USB de récupération sera l'un des seuls moyens de réinstaller Windows.

De plus il est vivement conseillé de sauvegarder sur un support externe (clé USB ou disque externe ou DVD ou CD…) toutes nos données importantes telles que fichiers de travail, images, musiques, vidéos, sauvegarde de jeux… En cas de mauvaise manipulation m( ,ces supports pourront nous aider à récupérer nos données personnelles! :-D
Une fois ces supports de sauvegarde créés, il est vivement conseillé de les garder dans un de nos tiroirs… on ne sait jamais, un jour ou l'autre ils pourront nous être utiles !

Créer un lecteur de récupération USB pour Windows 7
Créer un lecteur de récupération USB pour Windows 8.1
Créer un lecteur de récupération USB pour Windows 10

Pour plus d'informations à ce sujet, merci de faire une recherche sur internet. ;-)

NVMe

L'installation sur un disque NVMe se fera à l'identique, sauf pour le partitionnement où il est préférable de laisser l'installateur performer les partitions à sa guise sinon à avoir un problème de boot introuvable.

Modification de l'UEFI

Avant d'aller plus loin un petit explicatif de certains termes.

Le BIOS et l’UEFI (le remplaçant du BIOS) sont des composants essentiels au fonctionnement de notre ordinateur. Ils agissent comme intermédiaire entre le matériel de notre ordinateur et le système d’exploitation. Sans eux, un système d’exploitation comme Windows, GNU/Linux…, serait incapable de détecter et d’utiliser nos périphériques ! C’est pourquoi il est essentiel de bien configurer notre UEFI. Malheureusement, les utilisateurs sont souvent déroutés par les paramètres du BIOS et de l’UEFI qui donnent accès à des options – en plus d’être en anglais – qui ne sont pas évidentes à comprendre.

Fastboot accélère, comme son nom l'indique, le démarrage de l'ordinateur.

Le mode CSM permet une émulation du BIOS.

Accéder à l'UEFI

Si votre distribution est signée, vous n'êtes pas obligés de désactiver le secureboot. Voir cette page pour plus d'informations.

Nous allons maintenant devoir accéder à notre UEFI pour faire quelques configurations et modifications.

Redémarrons notre ordinateur.

Lorsque le logo du fabricant s'affiche sur votre écran, appuyez sur la touche indiquée pour entrer dans la page de configuration de l'UEFI. Cette touche varie selon le fabricant de la carte mère. Il pourra s'agir des touches F2, F10, F12 ou DEL selon les cas. Celle-ci est affichée en principe sous l'emblème du fabricant.

Chaque fabricant a son propre UEFI, les explications et les images qui vont suivre seront peut-être différentes chez vous, voyez cela comme un guide.

Désactiver le Secure Boot et autres configurations

A l'aide des touches du clavier ou de la souris, déplaçons-nous dans les différents menus.
Vérifions qu'il existe une option où nous pouvons désactiver le “Secure Boot”, et que nous ne sommes pas en mode Legacy ou CSM. Normalement, ce n'est pas le cas, mais il est important de le vérifier.

Si nous ne sommes pas capables de désactiver le Secure Boot, ce wiki n'est pas adapté pour notre cas.

Voici ce qu'il faut modifier et/ou vérifier dans notre UEFI :

Changer l'ordre de démarrage

Maintenant, nous allons changer l'ordre de démarrage, afin que le système boote en premier sur notre future clé USB. Cliquons sur l'onglet “BOOT OPTIONS” et modifions si nécessaire de manière à ce que notre clé USB soit la première dans la liste.

Choisir une Debian

De nombreuses Debian sont disponibles au téléchargement. Elles se différencient principalement par leur branches, architectures et Interface Graphique Utilisateur (GUI) . Ci-dessous nous allons avoir un petit aperçu de ces différences afin de mieux choisir celle qui nous conviendra le mieux.

Les branches de Debian

Dans ce wiki nous opterons pour Debian 8 Jessie stable.

Debian est disponible sous 5 branches: stable, testing, unstable, experimental, cut.

Ensuite viennent deux autres branches de moindre importance :

Pour plus d'informations, voir ce wiki: branches-debian.


L'architecture processeur

Debian est compilé pour plusieurs architectures processeurs, notamment pour les processeurs X86 en 64bits (amd64) et X86 en 32bits (i386).

Pour connaître l'architecture de notre machine sous Windows, cliquons dans la barre de tâches sur Démarrer puis Panneau de configuration ensuite Système et sécurité choisissons Système : affiche les informations.
Pour connaître l'architecture de notre machine sous GNU/Linux saisissons la commande suivante dans un terminal.
uname -r

Interface Graphique Utilisateur (GUI)

Debian propose dans ses dépôts ou directement sur un cd d'installation, la possibilité de déployer l'Interface Graphique Utilisateur de son choix comme Gnome, KDE, Xcfe, LXDE, Mate, Cinnamon…

Pour plus d'informations, voir ce wiki : environnements.

Information sur le téléchargement de Debian

Comment se procurer l'image de notre Debian ?

Voici comment obtenir une image de Debian :

Pour plus d'informations à sujet : https://www.debian.org/CD/

Choisir le mode de déploiement

Debian peut être déployé de plusieurs manières sur votre machine :

Choix de l'image

Une image de Debian se lit en principe ainsi : version, révision, architecture, GUI, support, numéro du support.

Pour plus d'informations à sujet, nous pouvons lire cette page : Foire aux questions

Les images iso pour les versions live ne sont pas recommandées pour le moment avec les ordinateurs équipés de l'UEFI. comme par exemple :

debian-live-8.6.0-amd64-gnome-desktop.iso
debian-live-8.6.0-amd64-kde-desktop.iso
debian-live-8.6.0-amd64-lxde-desktop.iso
debian-live-8.6.0-amd64-mate-desktop.iso
debian-live-8.6.0-amd64-xfce-desktop.iso
debian-live-8.6.0-amd64-cinnamon-desktop.iso

Télécharger Debian

Debian et l'ensemble des paquets qui la composent sont disponibles sur 8 cd (ou 3 dvd). Sachez que quand nous prenons seulement l'image 1 d'un cd (par ex: debian-8.6.0-amd64-CD-1.iso), l'installeur ira chercher le reste des paquets sur Internet pendant l'installation. Les cd supplémentaires ne sont donc utiles que pour des machines sans connexion Internet au moment de cette installation.

Maintenant que nous avons affiné notre choix, nous pouvons nous rendre sur le site de Debian et télécharger notre image d'installation.

Télécharger Debian stable

En cas de problème et d’hésitation sur l'image à télécharger, vous pouvez demander de l'aide sur notre forum. :-D
Forums: Installation de Debian

Pour télécharger Debian stable, rendons-nous sur cette page du site officiel de Debian : debian-cd/current/multi-arch

Nous voici sur la page de téléchargement multi-arch (image pour 32 et 64 bit), voici un petit explicatif des choix qui nous sont proposés :

Pour l'exemple à suivre dans ce wiki nous allons choisir iso-cd.

Nous voici sur une nouvelle page, en bas de celle-ci nous pouvons maintenant télécharger debian-x.x.x-amd64-i386-netinst.iso (les x.x.x correspond à la version actuelle de Debian stable).

Petite remarque : le premier lien “MD5SUMS” nous sera utile pour vérifier la somme MD5 après le téléchargement de notre image iso, mais le chapitre suivant traitera de ça plus en détail.


Lien général de téléchargement du site officiel de Debian : https://www.debian.org/releases/stable/debian-installer/

Vérifier l'image ISO téléchargée

En principe chaque image .iso contient un MD5 pour faire simple c'est peu l'ADN du fichier.

Pour vérifier que l'image iso que nous avons téléchargée est correcte, nous allons comparer le MD5 que le site de téléchargement nous donne et le MD5 du fichier que nous venons de télécharger.

Récupérer le MD5 du site

Retournons sur la page où nous venons de télécharger notre image iso et cherchons le lien qui s'appelle MD5SUMS, cliquons dessus.

Sur cette nouvelle page, on peut voir 2 colonnes, à gauche les empreintes MD5 et à droite les noms des images.

Il suffit de trouver la ligne correspondant à notre image iso et on obtiendra le MD5 correspondant.

Vérifier et comparer les MD5 sur Windows

Téléchargeons winMd5Sum ici : Télécharger winMd5Sum

Une fois installé, lançons-le, une petit interface graphique s'ouvrira.

  1. Dans “File Name” ouvrons ou glissons notre image.iso.
  2. Dans “Compare”, faisons un copier/coller du MD5 du site donné par Debian (trouvé ci-dessus).
  3. Cliquons sur Compare.

C'est tout. Nous n'avons qu'à attendre environ une minute tout au plus, (tout dépend de la taille du fichier) et s'ils correspondent on peut passer à la suite. :-D

Sinon il faudra retélécharger notre image car il semble y avoir un problème. :-/

Vérifier et comparer les MD5 sur Debian

Sur distribution GNU/Linux, il suffit d'ouvrir un terminal et saisir la commande suivante :

md5sum /chemin_du_dossier_image_iso/nom_image_téléchargé.iso 

et de comparer le résultat entre celui que nous venons d'obtenir avec md5sum et celui donné par le site de Debian.

Créer une clé USB bootable sur Windows avec win32diskimager

Avant de continuer, hormis la clé USB qui est destinée à recevoir l'image ISO, il est préférable de retirer tous autres périphériques de sauvegardes (clé USB, disque externe…) qui risqueraient d'être formatés par inadvertance ! 8-O

Nous voilà avertis ! 8-)
Pour les personnes qui désirent créer leur image sur une Debian ou toute autre GNU/Linux déjà installée, je vous renvoie ici : usb-boot

Téléchargement de win32diskimager

Maintenant que nous avons téléchargé notre image d'installation, nous devons la “graver” sur une clé USB.
Pour cela, il existe plusieurs logiciels capable d'effectuer ce travail, comme par exemple UNetbootin, Rufus, LiLi LiveUSB Creators…, mais dans ce wiki nous utiliserons win32diskimager. :-D

Avant de continuer, téléchargeons win32diskimager.
Lien de téléchargement : https://sourceforge.net/projects/win32diskimager/files/latest/download

Installation de win32diskimager

Pour installer win32diskimager, allons dans le dossier où nous l'avons téléchargé (par défaut c'est le dossier Téléchargement ou Downloads).

Faisons un double clic sur le fichier Win32DiskImager-0.9.5-install.exe. Maintenant plusieurs fenêtres vont s’ouvrir successivement, voilà ce qu'il est conseillé de répondre.

Si cette fenêtre d'erreur apparaît, il suffit de la fermer…

Identification de la clé USB

Insérons notre clé dans l'un des ports USB de notre ordinateur.

Maintenant, nous devons accéder à “Gestion du disque”.

La gestion des disques nous montre tous les disques qui sont montés.
Dans l'exemple ci-dessous, nous repérons rapidement que, par sa petite taille (29,82 Go) et par son format (FAT32) que notre clé USB est monté en F: ^_^.

Remarque :
Par contre dans cet exemple, nous allons devoir certainement faire une sauvegarde des données qui se trouvent dans notre clé USB car, si on regarde bien, elle est libre à 71 % (une clé USB vide correspondrait à 100 %) à moins que tout ce qui se trouve dessus n'ait aucune importance, nous voilà avertis et juges de ce qui faut faire. ;-)

Dans notre exemple, notre clé est montée en F, mais chez vous elle peut-être monté en G ou H ou I… mais normalement pas en C, car le disque C correspond tout simplement et en principe au disque où se trouve Windows à ne surtout pas toucher, au risque de supprimer Windows et de devoir le réinstaller! 8-o

Création de la clé USB avec win32diskimager

Si cette clé USB contient des données importantes, elles seront supprimées par win32diskimager!
Pour éviter ce désagrément, il faut les copier sur un autre support.

Lançons win32diskimager.

1. Sélectionnons la lettre correspondant à notre clé USB que nous souhaitons utiliser pour graver notre image iso (dans l'exemple ci-dessus la clé USB correspond au disque F ; pour identifier le bon lecteur, voir le chapitre ci-dessus “Identification de la clé USB”).

2. Cliquons sur cette icône pour choisir l'image iso à graver.

3. Choisissons “*.*” afin de pouvoir visualiser tous les fichiers présents dans notre dossier.

4. Sélectionnons le dossier où se trouve notre image iso à graver.

5. Faisons un double clic sur notre image iso afin de la sélectionner.

6. Pour lancer la “gravure”, appuyons sur “Write”.

7. Puis appuyons sur “Yes”.

A partir de ce moment, toutes données présentes sur la clé USB précédemment sélectionnée seront supprimées m(

Patientons un instant…

Cette fenêtre nous confirme que tous s'est bien passé.

Nous sommes désormais en possession d'une clé UBS bootable de Debian ! 8-)

Installation automatique

Si vous souhaitez installer Debian en mode automatique il vous suffit de suivre les instructions suivantes :

Si votre distribution est signée, vous n'êtes pas obligés de désactiver le secureboot. Voir cette page pour plus d'information.

L'installation terminée, retirez votre clé / cd et redémarrez. Debian devrait se lancer automatiquement.

Installation manuelle

Si vous souhaitez partitionner vous même le disque dur, l'installation change un peu.

Créer une partition EFI

Votre disque dur doit disposer d'une partition EFI.

Sur Windows 8 ou 10 (et certains Windows 7) la partition EFI est déjà installée sur votre ordinateur, vous n'avez pas besoin de la créer.

Tout d'abord, vérifiez que la table des partitions est bien GPT (Affichage > informations sur les périphériques)

ou

 parted -l 

Créez une nouvelle partition:

Si vous aviez créé la partition via le livdCD de GParted, bootez sur Debian (en mode EFI)

Installez Debian normalement.
Lors du choix des partitions, choisissez la partition précédemment créée et sélectionnez la comme partition EFI.

Si le type EFI n'est pas proposé, c'est que vous n'avez pas lancé Debian en mode EFI

Continuez l'installation une fois de plus normalement.

Au démarrage, Debian devrait se lancer correctement.

Grub ne se lance pas

Si en cas de Dualboot (Windows + Debian), le système ne boot pas sur le Grub mais directement sur Windows, voici une astuce.

Une fois l'installation de Debian terminée, retournons sur Windows, pressons les touches ⊞ Win + X et sélectionnons Invite de commandes (admin) afin de lancer une console en mode administrateur.

Saisissons cette commande qui modifie l'ordre de démarrage.

bcdedit /set {bootmgr} path EFI\debian\grubx64.efi

Quittons Windows et redémarrons et normalement le menu Grub doit s'afficher. ;-)

Si nous voulons rétablir le démarrage par défaut sur Windows comme au départ. Retournons sur Windows, pressons les touches ⊞ Win + X et sélectionnons Invite de commandes (admin) afin de lancer une console en mode administrateur Saisissons la commande :

bcdedit /set {bootmgr} path \EFI\Microsoft\Boot\bootmgfw.efi

Redémarrons.

Lien vers le forum

1)
N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !