Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine 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 admin | tutoriel:disque:raspi:systeme:start [2022/08/13 22:15] (Version actuelle) – modification externe 127.0.0.1 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| {{tag> | {{tag> | ||
| - | ====== 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' | L' | ||
| - | * d' | + | * d' |
| * 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, | + | ==== Graphiquement, |
| 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: | + | {{ tutoriel: |
| Ici, le disque USB est en **/ | Ici, le disque USB est en **/ | ||
| - | * **/ | + | * **/ |
| * 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' | + | ==== En ligne de commande (si on n'a pas d' |
| voir [[logiciel: | voir [[logiciel: | ||
| - | ====== 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' | Nous allons déplacer sur un disque dur USB la partition racine de l' | ||
| 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: | ||
| </ | </ | ||
| - | ===== Sur le disque : paramétrage du fichier fstab ===== | + | ==== Sur le disque : paramétrage du fichier fstab ==== |
| Éditez avec les droits d' | Éditez avec les droits d' | ||
| Ligne 164: | Ligne 164: | ||
| </ | </ | ||
| - | ===== É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:// | * **(fr)** [[https:// | ||
