Ho appena ricevuto un lampone pi. È arrivato con una scheda SD da 8 GB (in realtà un adattatore SD + scheda microsd) con il logo RPi su di esso.

Dovrebbe avere 8Gb, ma il comando "parted" dice qualcosa di diverso ...

$ 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

E sto esaurendo lo spazio ...

$ 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

Dove sono rimasti gli altri 4,5 GB?

Grazie

Raspbian.

1. sudo raspi-config
2. Scegli l'opzione n. 1: Expand filesystem
3. Tab Tab---> seleziona finish---> Riavvia?yes
4. Dopo il riavvio. Correredf -h

Per maggiori informazioni su raspi-config. Passa attraverso questo

Un sistema operativo basato su debian diverso da Raspbian (ubuntu, debian armhf, ecc.)

raspi-confignon è disponibile per impostazione predefinita su un sistema operativo diverso da 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

Si installerà raspi-configinsieme alle sue dipendenze. Ora segui i passaggi di raspbian come menzionato sopra per espandere il file system.

Qualsiasi distribuzione Linux (funziona anche per Raspbian)

Segui questa pagina wiki: http://elinux.org/RPi_Resize_Flash_Partitions#Manually_resizing_the_SD_card_on_Linux

Spiega molto bene come utilizzare partedper espandere il file system.

Spero che sia d'aiuto.