Différences

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

--- installation-gnulinux [2022/10/08 16:11] – corrections typos manu
+++ installation-gnulinux [2024/07/06 18:44] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 58: / Ligne 58: @@
 Ici ça se corse :P
 Il va falloir brancher la clé USB **sur l’ordinateur**, et lui dire de ne pas démarrer via son **disque dur**, mais via la **clé USB** que vous avez créée juste avant.
+Il y a deux possibilités suivant votre suivant votre système d'exploitation déjà installé (s'il y en a un) :
+  * Vous avez Windows 10
+  * Vous avez autre chose ou aucun OS
+=== Avec Windows 10 ===
+Si vous avez Windows 10, il existe une méthode simple pour démarrer sur la clé USB : Allez dans "Paramètres/Mises à jour et sécurité/Récupération" et choisissez "Redémarrage avancé".
+Là, vous choisissez de "Démarrer sur un support externe" et puis vous choisissez votre clé USB.
+=== Sans Windows 10 ===
+Il existe une touche d'accès pour choisir un périphérique spécial pour le démarrage sur chaque ordinateur. Malheureusement, cette touche est différente suivant le constructeur ou le modèle de l'ordinateur...
+Si vous avez de la chance, au tout début du démarrage de votre ordinateur, lorsque le logo de la marque s'affiche, une indication peut s'afficher en bas de l'écran avec une touche sur laquelle appuyer. Cela peut permettre d'accéder au BIOS ou de sélectionner un périphérique de démarrage.
+Je vous invite à aller consulter le site du fabricant de votre ordinateur, puis d'aller dans la section "Support", de retrouver votre modèle (avec le numéro du modèle c'est souvent plus simple) et de télécharger le mode d'emploi. Là, vous aurez les indications pour démarrer sur votre clé USB.