J'ai une carte SD de 16 Go sur laquelle j'ai installé Raspbian à l'aide de Win32 Disk Imager. Après avoir gravé l'image dans Windows, elle ne montre qu'environ 40+ Mo d'espace libre.
Depuis l'image Raspbian est d'environ 2 Go, où est le reste de la mémoire? Sous Linux, en utilisant GParted, j'obtiens le résultat suivant (ici, il montre 12,54 Go inutilisés qui est lui-même la mémoire vierge de la carte):
L'image crée 2 partitions de disque SDB1 et SDB2 dans l'image ci-dessus. SDB1 est formaté comme un système de fichiers fat16, cette partition est la seule vue par Windows et donc la petite quantité d'espace libre qu'elle rapporte. Gparted voit à la fois la partition formatée en gras et la partition formatée ext4.
Par défaut, l'image n'utilise pas tout l'espace disponible sur des cartes SD plus grandes, comme la vôtre. Il y a une option dans le fichier raspi-config qui s'exécutera la première fois que vous démarrez votre Pi pour étendre la partition racine et utiliser la pleine capacité de la carte SD. Si vous avez déjà démarré le Pi, vous pouvez accéder aux options de configuration en exécutant:
sudo raspi-config
Pour voir combien d'espace est disponible sur le Pi, entrez ce qui suit sur la ligne de commande:
df -h
ref: df man page
Démarrez votre pi et entrez dans un shell. Entrez ensuite
Il devrait y avoir une option pour étendre le système de fichiers. Voir par exemple: http://www.dummies.com/how-to/content/how-to-use-raspiconfig-to-set-up-your-raspberry-pi.html
la source