Raspberry Pi - Gagner 1.2Go en étendant le système de fichier
Voici une opération très importante à réaliser avec son Raspberry PI pour gagner de la place sur le disque SD.
Les images Raspian sont compressées
Il faut savoir que les images Linux sont compressées de sorte à faire plus ou moins 2.8Go. Compressée est un grand mot... disons que les concepteurs ont fait le nécessaire pour qu'elle ne soit pas trop grande.
Cela permet à des distribution comme Wheezy Raspbian et Occidentalis de pouvoir être copié sur des cartes SD de plus petite taille.
L'OS dispose alors de 2.8Go sur la rootfs (partition principale de l'OS).
Récupérer la place non utilisée sur la carte SD
Il est assez courant de trouver l'OS du Raspberry PI installé sur des cartes de 4Go.
Cependant, comme l'image fait 2.8Go, il reste 1.2Go non exploité!
L'idéal est d'étendre le RootFs afin qu'il utilise tout l'espace disponible sur la carte.
Comment étendre RootFs
En fin de compte, c'est assez simple.
Lancer la commande suivante depuis un terminal
Où acheter un Raspberry-Pi
MCHobby vous propose tout une gamme Raspberry-PI et des Raspberry vendu uniquement sur stock (et pas une promesse de livraison dans plusieurs semaines).
Les images Raspian sont compressées
Il faut savoir que les images Linux sont compressées de sorte à faire plus ou moins 2.8Go. Compressée est un grand mot... disons que les concepteurs ont fait le nécessaire pour qu'elle ne soit pas trop grande.
Cela permet à des distribution comme Wheezy Raspbian et Occidentalis de pouvoir être copié sur des cartes SD de plus petite taille.
L'OS dispose alors de 2.8Go sur la rootfs (partition principale de l'OS).
Récupérer la place non utilisée sur la carte SD
Il est assez courant de trouver l'OS du Raspberry PI installé sur des cartes de 4Go.
Cependant, comme l'image fait 2.8Go, il reste 1.2Go non exploité!
L'idéal est d'étendre le RootFs afin qu'il utilise tout l'espace disponible sur la carte.
Comment étendre RootFs
En fin de compte, c'est assez simple.
Lancer la commande suivante depuis un terminal
sudo raspi-configS'affiche alors un écran d'option qui vous permet d'étendre le système de fichier.
Où acheter un Raspberry-Pi
MCHobby vous propose tout une gamme Raspberry-PI et des Raspberry vendu uniquement sur stock (et pas une promesse de livraison dans plusieurs semaines).
Écrire un commentaire