Je viens de recevoir une pi de framboise. Il était livré avec une carte SD de 8 Go (en fait un adaptateur SD + une carte microsd) avec le logo RPi dessus.

Il est supposé avoir 8 Go, mais la commande "parted" dit quelque chose de différent ...

$ sudo parted
GNU Parted 2.3
Using /dev/mmcblk0
Welcome to GNU Parted! Type 'help' to view a list of commands.
(parted) help                                                             
  align-check TYPE N                        check partition N for TYPE(min|opt) alignment
  check NUMBER                             do a simple check on the file system
  cp [FROM-DEVICE] FROM-NUMBER TO-NUMBER   copy file system to another partition
  help [COMMAND]                           print general help, or help on COMMAND
  mklabel,mktable LABEL-TYPE               create a new disklabel (partition table)
  mkfs NUMBER FS-TYPE                      make a FS-TYPE file system on partition NUMBER
  mkpart PART-TYPE [FS-TYPE] START END     make a partition
  mkpartfs PART-TYPE FS-TYPE START END     make a partition with a file system
  move NUMBER START END                    move partition NUMBER
  name NUMBER NAME                         name partition NUMBER as NAME
  print [devices|free|list,all|NUMBER]     display the partition table, available devices, free space, all found partitions, or a particular partition
  quit                                     exit program
  rescue START END                         rescue a lost partition near START and END
  resize NUMBER START END                  resize partition NUMBER and its file system
  rm NUMBER                                delete partition NUMBER
  select DEVICE                            choose the device to edit
  set NUMBER FLAG STATE                    change the FLAG on partition NUMBER
  toggle [NUMBER [FLAG]]                   toggle the state of FLAG on partition NUMBER
  unit UNIT                                set the default unit to UNIT
  version                                  display the version number and copyright information of GNU Parted
(parted) print                                                            
Model: SD USD (sd/mmc)
Disk /dev/mmcblk0: 8069MB
Sector size (logical/physical): 512B/512B
Partition Table: msdos

Number  Start   End     Size    Type     File system  Flags
 1      4194kB  62.9MB  58.7MB  primary  fat16        lba
 2      62.9MB  3277MB  3214MB  primary  ext4

Et je manque d'espace ...

$ df -h
Filesystem      Size  Used Avail Use% Mounted on
/dev/root       2.9G  2.7G   50M  99% /
devtmpfs        428M     0  428M   0% /dev
tmpfs            87M  228K   87M   1% /run
tmpfs           5.0M     0  5.0M   0% /run/lock
tmpfs           173M     0  173M   0% /run/shm
/dev/mmcblk0p1   56M   20M   37M  36% /boot

Où sont les autres 4,5 Go restants?

Je vous remercie

Raspbian.

1. sudo raspi-config
2. Choisissez l'option # 1: Expand filesystem
3. Tab Tab---> sélectionnez finish---> Redémarrer?yes
4. Après le redémarrage. Courirdf -h

Pour plus d'informations sur raspi-config. Passez par là

Un système d'exploitation basé sur Debian autre que Raspbian (Ubuntu, Debian Armhf, etc.)

raspi-confign'est pas disponible par défaut sur un système d'exploitation autre que raspbian.

1. wget http://archive.raspberrypi.org/debian/pool/main/r/raspi-config/raspi-config_20150706_all.deb
2. sudo gdebi raspi-config_20150706_all.deb

Il s'installera raspi-configavec ses dépendances. Suivez maintenant les étapes de raspbian comme mentionné ci-dessus pour étendre le système de fichiers.

Toute distribution Linux (fonctionne également pour Raspbian)

Suivez cette page wiki: http://elinux.org/RPi_Resize_Flash_Partitions#Manually_resizing_the_SD_card_on_Linux

Il explique très bien comment utiliser partedpour étendre le système de fichiers.

J'espère que cela aide.