Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
tutoriel:disque:raspi:systeme:start [2021/02/17 15:44] – ↷ Page déplacée de fr:tutoriel:disque:raspi:systeme:start à tutoriel:disque:raspi:systeme:start admintutoriel:disque:raspi:systeme:start [2022/08/13 22:15] (Version actuelle) – modification externe 127.0.0.1
Ligne 1: Ligne 1:
 {{tag>tutoriel}} {{tag>tutoriel}}
  
-====== Raspberry Pi : Installation du système du RPI sur un disque USB ======+====== Raspberry Pi : Installation du système du Raspberry Pi sur un disque USB ======
  
 L'utilisation d'un disque dur permet : L'utilisation d'un disque dur permet :
-  * d'installer sur le disque le système du RPI+  * d'installer sur le disque le système du Raspberry Pi
   * d'y créer :   * d'y créer :
     * une partition de swap     * une partition de swap
Ligne 16: Ligne 16:
 Cela économise la carte SD qui ne comporte plus que le boot et peut être mise en mode lecture seule. Cela économise la carte SD qui ne comporte plus que le boot et peut être mise en mode lecture seule.
  
-====== Pré-requis ======+===== Pré-requis =====
  
-====== Première étape : partitionnement ======+===== Première étape : partitionnement =====
  
 Partitionnez le disque pour obtenir une partition ext4 assez grande pour contenir la partition racine actuelle. Partitionnez le disque pour obtenir une partition ext4 assez grande pour contenir la partition racine actuelle.
Ligne 39: Ligne 39:
 Branchez le disque USB sur un PC. Branchez le disque USB sur un PC.
  
-===== Graphiquement, avec gparted =====+==== Graphiquement, avec gparted ====
  
 Ouvrez **gparted**. Ouvrez **gparted**.
Ligne 46: Ligne 46:
  
 Voici un exemple de préparation d'un disque externe avec gparted : Voici un exemple de préparation d'un disque externe avec gparted :
-{{ fr:tutoriel:disque:raspi:systeme:disque_raspi_systeme-01.png?600 |}}+{{ tutoriel:disque:raspi:systeme:disque_raspi_systeme-01.png?600 |}}
  
 Ici, le disque USB est en **/dev/sdh** avec ses partitions : Ici, le disque USB est en **/dev/sdh** avec ses partitions :
-  * **/dev/sdh1**, créée pour la racine du RPI, formatée en ext4.+  * **/dev/sdh1**, créée pour la racine du Raspberry Pi, formatée en ext4.
   * les autres sont modifiées pour lui faire de la place   * les autres sont modifiées pour lui faire de la place
  
-===== En ligne de commande (si on n'a pas d'accès graphique) =====+==== En ligne de commande (si on n'a pas d'accès graphique) ====
  
 voir [[logiciel:disques:partitions:cfdisk:start]] voir [[logiciel:disques:partitions:cfdisk:start]]
  
-====== Autres étapes ======+===== Autres étapes =====
  
-===== Transfert du Root file system =====+==== Transfert du Root file system ====
  
 Nous allons déplacer sur un disque dur USB la partition racine de l'installation Raspbian existante pour améliorer les performances et préserver la carte SD. Nous allons déplacer sur un disque dur USB la partition racine de l'installation Raspbian existante pour améliorer les performances et préserver la carte SD.
Ligne 64: Ligne 64:
 Seul **boot** doit résider sur la carte SD. Seul **boot** doit résider sur la carte SD.
  
-Branchez le disque usb sur le RPI.+Branchez le disque usb sur le Raspberry Pi.
  
 Repérez les partitions : Repérez les partitions :
Ligne 137: Ligne 137:
 </WRAP> </WRAP>
  
-===== Sur le disque : paramétrage du fichier fstab =====+==== Sur le disque : paramétrage du fichier fstab ====
  
 Éditez avec les droits d'administration le fichier **/dev/sda2/etc/fstab** pour : Éditez avec les droits d'administration le fichier **/dev/sda2/etc/fstab** pour :
Ligne 164: Ligne 164:
 </WRAP> </WRAP>
  
-===== Étendre le Root file system =====+==== Étendre le Root file system ====
  
 Le rootfs (partition /dev/sda1) ne fait que 1.8Go, car c'est la copie de la carte SD... Le rootfs (partition /dev/sda1) ne fait que 1.8Go, car c'est la copie de la carte SD...
Ligne 173: Ligne 173:
 Résultat : le rootfs (partition /dev/sda2) a été agrandi. Résultat : le rootfs (partition /dev/sda2) a été agrandi.
  
-====== Conclusion ======+===== Conclusion =====
  
-====== Problèmes connus ======+===== Problèmes connus =====
  
-====== Voir aussi ======+===== Voir aussi =====
  
   * **(fr)** [[https://www.framboise314.fr/booter-le-raspberry-pi-sur-un-disque-dur-usb/]]   * **(fr)** [[https://www.framboise314.fr/booter-le-raspberry-pi-sur-un-disque-dur-usb/]]

Piste :