logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

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 → ODT PDF Export

Ceci est une ancienne révision du document !


Dual-boot Windows-Debian avec UEFI

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éral

Dans ce wiki nous partons du principe que seul Windows est installé sur la machine.
Toute fois il peut quand même servir de guide si il existe déjà une distribution GNU/Linux sur le système.

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

  • Télécharger Debian.
  • Créer un support d'installation de Debian via Rufus.
  • Partitionner nos disques et créer un espace vide pour l'installation de Debian.
  • Désactiver le secure boot de notre BIOS/UEFI.
  • Installer Debian.
  • Corriger les éventuels problèmes tel l'accès au Grub.

C'est quoi un dual-boot ?

Un dual-boot ou multiboot est un terme informatique qui désigne la possibilité d'installer sur un même ordinateur plusieurs systèmes d’exploitation et de choisir l'un d'eux lors du démarrage de l'ordinateur. Exemple : un multiboot distribution GNU/Linux et Windows .

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. A ce titre, elle remplace la traditionnelle interface du BIOS. Les principaux avantages de l'UEFI est une prise en charge des partitions de disque dur supérieures à 2 To et une prise en charge de plus de quatre partitions sur une unité.
Quasiment tout 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 expliquez comment faire…

C'est quoi le secure boot ?

Depuis la version 2.3.1, l'UEFI intègre une fonctionnalité n'autorisant le démarrage qu'aux systèmes d'exploitation reconnus (comme Windows…). Cette fonctionnalité vise à interdire le démarrage d'un système d'exploitation corrompu notamment par un virus ou un rootkit. Mais heureusement sur de nombreuses machines cette fonction peut-être désactivée et nous permet ainsi d'installer notre distribution préférée. 8-)

Pré-requis

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

  • Il faudra créer un lecteur de récupération de Windows.
  • Sauvegarder nos données importantes.
  • Télécharger notre distribution Debian.
  • Télécharger et installer Rufus sous Windows.

Pour cela prévoir :

  • Une clé USB pour la récupération de Windows.
  • Une clé USB ou CD ou DVD pour l'installation de Debian.
  • Un support pour nos sauvegarde personnelle tel que clé USB ou disque externe ou DVD ou CD…
  • Une connexion internet (vivement recommandé, mais peut se faire sans).

Créer un lecteur de récupération et sauvegarder nos données sous Windows

Avant de se lancer dans ce wiki, il est vivement conseillé de créer une clé USB de récupération de Windows et de sauvegarder sur un support externe (clé USB ou disque externe ou DVD ou CD…) toutes nnos données importantes tel que fichier de travail, images, musiques, vidéos, sauvegarde de jeux… En cas de mauvaise manipulation m( ,ces supports pourront nous aider à récupérer notre système d'exploitation Windows et nos données personnelles! :-D
Une fois ces supports de sauvegarde crées, 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 utile !

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'information à ce sujet merci de faire une recherche sur internet. ;-)

Choisir une Debian

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

Les branches de Debian

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

  • La branche stable qui correspond à la version actuelle du projet (Debian 8/Jessie)
  • La branche testing qui deviendra stable quand le nombre de bug sera descendu en dessous d'un certain seuil (Debian 9/Stretch)
  • La branche unstable qui permet de tester les paquets avant de les envoyer dans testing (Sid)
  • La branche oldstable qui correspond à l'ancienne stable (Debian 7/Wheezy)

Ensuite viennent deux autres branches de moindre importance:

  • La branche cut qui correspond à une image figé de testing à un instant t.
  • La branche experimental qui est plus un endroit pour faire des tests de paquet avant de les envoyer dans unstable

Pour plus info 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 GNU/Linux sassions la commande suivante dans un terminal.
uname -r
Pour connaître l'architecture de notre machine sous Windows cliquons dans la barre de tâche sur Démarrer puis Panneau de configuration ensuite Système et sécurité choisissons Système : affiche les informations.

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 info voir ce wiki: environnements.

Information sur le téléchargement de Debian

Comment se procurer l'image de notre Debian ?

Acheter les CD Debian ou pas de connexion internet

Ils sont bon marché. De plus si notre connexion Internet est facturée à la minute, c'est notre seule solution. Nous pouvons également envisager d'acheter les CD si nous possédons seulement un modem, étant donné que le téléchargement des images au moyen d'un modem peut prendre des jours. :-/

Vendeurs de support d’installation de Debian

Télécharger les images des CD ou DVD avec jigdo

Le projet « jigdo » nous permet de sélectionner le miroir Debian le plus rapide parmi les 300 existants dans le monde. Il permet de choisir facilement un miroir et de mettre à jour aisément de vieilles images. C'est également la seule manière de télécharger les images des DVD de Debian pour toutes les architectures.

Télécharger les images des CD ou DVD avec BitTorrent

Le système pair-à-pair BitTorrent permet à de nombreux utilisateurs de télécharger les images de manière coopérative et simultanée avec une charge minimale pour les serveurs de Debian.

Télécharger les images des CD ou DVD par HTTP ou FTP

À cause de contraintes en bande passante et espace disque, seuls quelques miroirs offrent la possibilité d'un téléchargement direct par HTTP ou FTP. Ces sites peuvent utiliser la technique de « l'étranglement de bande passante », les téléchargements peuvent être relativement lents. Veuillez utiliser jigdo ou bittorrent à la place de HTTP ou de FTP. Les images des DVD ne sont disponibles que pour certaines architectures et ne sont pas sur tous les miroirs.

Télécharger l'images d'installation autonomes “live”

Une image d'installation autonome permet de démarrer un système Debian sans modifier un seul fichier du disque dur et permet aussi d'installer Debian à partir du contenu de l'image. C'est l'idéal si on veut testé Debian avant de l'installer.

Choix de l'image

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

  • debian-8.0.0-amd64-CD-1.iso: correspond à la version 8 (jessie), pour une architecture 64 bits, 1er CD, à noter que l'image par défaut, déploie l'interface Gnome 3
  • debian-8.0.0-amd64-kde-CD-1.iso : correspond permet à la version 8 (jessie), pour une architecture 64 bits, la GUI est KDE, 1er CD.
  • debian-8.0.0-amd64-netinst.iso : correspond à la version 8 (jessie), pour une architecture 64 bits, l'image netinst nécessite Internet mais permet d'installer facilement Gnome, KDE, LXDE, Xfce, Cinnamon et Mate.

Pour plus information à sujet nous pouvons lire cette page: Foire aux questions

Choisir le mode de déploiement

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

Télécharger Debian

Debian et l'ensemble des paquets qui la compose sont disponibles sur 8 cd (ou 3 dvd). Sachez que quand nous prenons seulement l'image 1 d'un cd (par ex: debian-8.0.0-amd64-CD-1.iso) l'installeur ira chercher le reste des paquets sur Internet.
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.

Liens

Ci-dessous une liste non exhaustive de certaine Debian.

Debian stable 64 bits pour CD ou USB

Les x.x.x correspondent au numéro de la version actuel. ;-)
Pour connaître le numéro de la version actuelle, chercher en fin de page de ce lien: https://www.debian.org/CD/Dernière version officielle des images des CD de la distribution « stable » : x.x.x.
Type de téléchargement GUI Nom de l'image à télécharger et lien de la page
jigdo-debian-x.x.x-amd64-CD-1.jigdo
bitorrent-debian-x.x.x-amd64-CD-1.iso.torrent
HTTP, FTP-debian-x.x.x-amd64-CD-1.iso

Debian stable 64 bits live pour CD ou USB

Les x.x.x correspondent au numéro de la version actuel. ;-)
Pour connaître le numéro de la version actuelle, chercher en fin de page de ce lien: https://www.debian.org/CD/Dernière version officielle des images des CD de la distribution « stable » : x.x.x.

Debian testing 64 bits pour CD ou USB

Type de téléchargement GUI Nom de l'image à télécharger et lien de la page
jigdoA choix lors de l'installationdebian-stretch-DI-alpha4-amd64-netinst.jigdo
HTTP, FTPA choix lors de l'installation debian-stretch-DI-alpha4-amd64-netinst.iso

Autres liens

Images non officielle avec micro-firmware

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

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écharger est correct 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 et cherchons un lien qui s'appelle “MD5SUMS”, cliquons dessus.

Sur cette 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 et on obtiendra le MD5 correspondant.

Par exemple si l'image que nous avons télécharger est “debian-8.2.0-amd64-CD-1.iso” dans ce cas là le MD5 est “5e172c7df6ab46ded2f2b44df22e1ca2”

Vérifier et comparer les MD5 sur Windows

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

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

Dans “File Name” ouvrons ou glissons notre image.iso. Dans “Compare”, faisont un copie/coller du MD5 du site donné par Debian (trouver ci-dessus). et 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 avoir un problème. :-/

Vérifier et comparer les MD5 sur Debian

Sur Debian (si déjà installé) 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

Maintenant que nous avons téléchargé notre image d'installation, nous devons la “graver” sur une clé USB. Pour cela nous aurons besoin du logiciel Rufus.

Pour les personnes qui désirent créer leur images sur une Debian déjà installée je vous renvoie ici: usb-boot

Insérons notre clé dans un port USB.

Si cette clé USB contient des données importantes elles seront supprimées par Rufus
Pour éviter ce désagrément, il est vivement conseiller de les copiées sur un autre support

Une fois Rufus télécharger lançons le.

Maintenant effectuons les configurations suivantes:

1. “Périphérique”, choisir la clé USB prête pour accueillir une nouvelle distribution.
2. “type de partition et système de destination”, choisir “Type de partition MBR pour ordinateur BIOS ou UEFI”
3. “système de fichiers”, laissez “FAT32 (défaut)“
4. “Taille d'unité d'allocation”, laissez “xxx kilo-octets( Défaut)“
5. “Nom de volume”, tapons ce que nous voulons, par exemple Install Debian GNU/Linux.
6. “Créer un disque de démarrage”, choisir “Image ISO” (si vous avez effectivement téléchargé un fichier ISO, ce qui est normalement le cas).
7. Cliquons sur l'icône représentant un CD, et choisissons l'image ISO Debian (fraîchement téléchargée).
8. Cochons les cases “Formatage rapide”, “Créer un disque de démarrage”, Ajouter un label étendu et une îcone”
9. Cliquons sur “Démarrer” pour lancer le processus.

Patientons un instant et nous serons en possession d'une clé USB bootable de Debian ! 8-)

Préparation et vérification sur Windows

Windows ses disques et ces partitions

La première chose que nous allons faire et de lancer Windows sur un compte administrateur de manière classique.

Si nous sommes le seul utilisateur sur l'ordinateur en principe nous sommes déjà en administrateur.

Maintenant accédons à Gestion du disque.

  • Saisissons simultanément les touches du clavier ⊞ Win et X.
  • Cliquons sur Gestion du disque.

Voici à quoi peut ressembler la fenêtre de nos disques présents sur notre système. Peut-être que chez vous cette fenêtre est différente mais l'image ci-dessous est juste un exemple pour notre wiki. De manière général c'est le disque 0 qui est le plus important pour l'installation de notre futur Debian.

Une petit explication s'impose. ;-)

Le disque 0 qui est de plus en plus souvent un disque SDD sur les nouvelles machines, le cas échéant c'est un disque classique HDD. Il est composé de plusieurs partitions.

  • Une partition EFI, cette partition contient tous les fichiers nécessaires au démarrage des systèmes d'exploitation installés sur la machine.
  • La plus connu la partition en général appelée partition C: qui est souvent au format NTFS, c'est elle qui contient le système d'exploitation de Windows. C'est ici qu'après une modification que nous installerons notre futur Debian, mais patience, on y reviendra bientôt. ;-)
  • Une partition recovery, attention on y touche pas! Elle sert en cas de pépins à restaurer Windows. Mais comme dit au début du wiki, il est toujours plus prudent de créer en plus un lecteur de récupération externe.

Le disque 1 est un disque optionnel qui peut servir à stocker des documents ou un autre système d'exploitation, il peut être SDD ou HDD.

Le disque 2 est aussi un disque optionnel, dans le cas présent c'est une clé USB.

CD-ROM 0 c'est le lecteur CD/DVD/Blu-ray.

Table de partition GUID (GPT)

Nous allons vérifier depuis le gestionnaire de disque précédemment ouvert que notre disque 0 est bien au format GPT afin de pouvoir faire le dualboot avec Debian en UEFI.

Faisons un Clic droit sur la partition C: du disque 0 puis Propriété et cliquons sur l’onglet Volumes. Sur cette fenêtre nous pouvons vérifier le Type de partition.

S'il est bien au format GPT, nous pouvons continuer ce wiki, le cas échéant il faudra créer une partition au format GPT.

Libérer de l'espace pour Debian

Cette section est inutile si nous voulons installer Debian sur un disque dur différent de celui contenant Windows.
Comme par exemple le disque 1 de notre chapitre “Windows ses disques et ses partitions”

Dans Gestion des disques, localisons la partition du système Windows (en général C:)

Faisons un Clic droit sur cette partition puis Réduire le volume

Patientons un instant, puis nous verrons que Windows nous propose de la réduire de moitié, cliquons sur Réduire.

Si nous désirons réduire la partition allouée à Windows de plus de la moitié, il nous faudra installer sous Windows un programme dédié à cet effet tel que “EaseUS Partition Master”. Il est à relever qu'il faut prévoir au minimum environ 20000 Mo FIXME d'espace libre pour l'installation de Debian, mais avec les disques actuels, on peut sans problème se permettre d'utiliser plus d'espace.

Maintenant nous pouvons voir que le disque 0 à de l'espace libre pour notre futur Debian.

Modification du BIOS/UEFI

Maintenant quittons Windows et éteignons notre ordinateur.
Insérons notre support de boot avec notre image d'installation.
Nous allons aller dans notre BIOS/UEFI pour faire quelques configurations.
Démarrons l'ordinateur. Lorsque le logo du fabricant s'affiche sur votre écran, appuyez sur la touche indiquée pour entrer dans la page de configuration du BIOS/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 fabriquant à son propre UEFI, les explications et les images qui font suivre seront peut-être différentes chez vous, voyez cela comme un guide.

Désactiver le secure boot

A l'aider des touche du clavier ou de la souris déplaçons-nous sous l'onglet “Security” ou “Authentication”. Et vérifions “secure boot” soit en “Enabled”, si ce n'est pas le cas faisons la modification.

Changer l'odre de démarrage

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

Voilà sauvegardons nos modifications et nous pouvons maintenant passer à l'installation de Debian.

Installation

En démarrant sur l'installeur, on commence par le sélecteur du mode d'installation:


Lors du lancement, l'installeur propose plusieurs modes d'installation:

  • le mode Install qui propose un texte en gris sur fond bleu avec un déplacement uniquement au clavier grâce aux flèches, à la touche Tab ⇆ et à la touche Espace pour cocher ou décocher une case.
  • Le mode Graphical Install propose une interface plus jolie et utilisable avec une souris.
Dans ce wiki nous choisissons de le faire avec le mode graphique.
Chaque panneau de l'installeur dispose d'un texte explicatif clair. Quand vous ne savez pas, prenez les réglages par défaut. Attention tout de même au partitionnement, puisque celui pourrait écraser les données sur les disques de votre machine.

Sélection de la langue

Choix de la situation géographique

Configurer le clavier

Configurer le nom du système

Entrons le nom qui identifiera notre machine.

Configurer un nom de Domaine (si nécessaire)

Ne rien mettre si nous ne savons pas.

Création du compte root

Entrons le mot de passe root/administrateur, il est important de le retenir ou même de le noter à quelque part, il sera utile plus tard. Attention à garder secret…

Création du premier utilisateur

Entrons le nom de l'utilisateur.

Mot de passe pour le premier utilisateur

Entrons le mot de passe de l'utilisateur, il est important de le retenir ou même de le noter à quelque part, il sera utile plus tard, comme pour nous loguer sur notre session Debian. Attention à garder secret…

Choix du mode de partitionnement en manuel

Choix du disque à partitionner

Pour faire d'un disque occupé par des partitions ⇒ un disque vierge, vous supprimez une à une toutes les partitions qui s'y trouvent, sans exception.

Création d'une nouvelle partition système: la racine (/)

Choix de la taille de la partition racine

Ici nous pouvons affecté 4 Go à 10 Go au système.

Déclaration en partition primaire


Placement de la partition en début de disque

}

Validation la création de la partition système


Dans cet exemple nous laissons les paramètres par défaut avec un format de système de fichier en EXT4 et la racine (/) en point de montage.

Création de la partition d'échange (SWAP)

Le swap est le prolongement de la RAM sur le disque dur, le plus souvent on choisira une taille de swap qui fait le double de celle de la RAM.

Si nous installons notre Debian sur un disque SDD ET que nous avons un deuxième disque interne en HDD, il peut être judicieux de créer la partition SWAP sur ce dernier


Ici nous allons affecter entre 0.5 et 2 Go au swap, en commençant par sélectionner l'espace libre du disque.


Formatage en swap

Après l'affectation à la nouvelle partition, l'installeur propose un partition automatique pour le dossier utilisateur (/home).


Mais dans cet exemple, on double clique sur “Utiliser comme:” pour passer le système de fichier de EXT4 à Swap :


Validation la création de la partition swap


Création de la partition contenant les dossiers Utilisateurs (/home)

Pour le /home, nous mettrons le reste sur une partition primaire avec un écriture en début d'espace libre


On garde les paramètres par défaut avec un point de montage en /home et le système de fichier par défaut EXT4


Validation du partitionnement

Jusque-là, aucune opération n'a été réalisée. Nous pouvons annuler, rien ne sera modifié sur le disque.


Création du partitionnement sur le disque

ATTENTION !
En validant ci-dessous, toutes les données antérieures contenues dans les partitions du disque seront irrémédiablement effacées et remplacées par celles du nouveau système !


Analyse du contenu des CD ou DVD supplémentaires si nécessaire

Utilisation d'un dépôt miroir

Un dépôt miroir est un serveur informatique accessible qui héberge l'ensemble des paquets Debian. Si vous ne disposez pas de tout les CD, Debian viendra piocher les logiciels ou paquets dont vous avez besoin sur des serveurs miroirs.

Il existe des serveurs dépôts dans le monde entier, chacun étant une copie de l'autre (miroir). Dans cet exemple nous sélectionnerons “oui” et choisirons dans les cartons qui suivent un miroir FTP situé en France, accessible depuis internet.

Choix du pays dans lequel se trouve le miroir

Choix du serveur hébergeant le miroir

Celui par défaut est souvent un bon choix.

Configuration d'un serveur mandataire “ou proxy” si nécessaire

A laisser vide, si vous ne savez pas.

Participation ou pas au statistique Debian

Cela peut être utile pour la communauté mais c'est sans obligation.

Sélection des logiciels

A laisser par défaut, si vous ne savez pas.

  • Environnement de Bureau Debian permet d'installer un bureau ou pas. L'installation d'un environnement de Bureau peut se faire plus tard, ou ne pas se faire du tout, ce n'est souvent pas indispensable pour un serveur. Parmi les bureaux proposés, on trouve:
  • serveur web comprends une pré-sélection de paquets dédiés au serveur Web.
  • serveur d'impression comprends une pré-sélection de paquets dédiés au serveur d'impression.
  • serveur ssh permet l'activation du protocole ssh et la prise de contrôle à distance.
  • utilitaires usuels du système comprends une série d'application pour gérer votre système d'exploitation

Installation des paquets

C'est le moment de faire une pause, le téléchargement et l'installation des paquets peut prendre un certains temps en fonction de la puissance de votre machine et du débit de votre connexion internet

Installation de Grub, le sélecteur de démarrage

Choix de l'emplacement pour Grub

On termine et on relance l'ordinateur

On termine en pensant à retirer le CD ou la clé USB pour éviter de retomber sur l'installeur au redémarrage.

Premier démarrage de Debian

Le sélecteur de démarrage Grub:


L'ouverture de session:


L'interface:


Une fois terminé, nous pouvons retourner à la page installation pour peaufiner la configuration de votre machine.

Résolution des problèmes

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 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 afin de lancer une console en mode administrateur Saisissons la commande :

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

Redémarrons.

Liens

FIXME

1)
N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !
utilisateurs/slyfox/tutos/dual-boot-debian-et-windows-uefi.1450970062.txt.gz · Dernière modification: 24/12/2015 16:14 par Slyfox

Pied de page des forums

Propulsé par FluxBB