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 [2020/10/24 22:31] – 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 49: | Ligne 49: | ||
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:// |