Eu usei o link para criar uma instalação do Linux Mint em um dispositivo USB, para que eu pudesse ter um sistema operacional portátil (principalmente para emergências no trabalho) ). Ele está instalado e funciona bem, mas é usado apenas 5,8 GB de espaço, enquanto o próprio dispositivo USB é de 14,7 GB. (quando digo GB aqui, quero dizer 10 ^ 9 bytes).
Quando estou dentro do sistema operacional em questão e executo df -h , vejo isso:
Filesystem Size Used Avail Use% Mounted on
/cow 3.9G 3.7G 31M 100% /
udev 3.9G 4.0K 3.9G 1% /dev
tmpfs 784M 1.5M 783M 1% /run
/dev/sdb1 15G 5.5G 9.2G 38% /cdrom
/dev/loop0 1.5G 1.5G 0 100% /rofs
none 4.0K 0 4.0K 0% /sys/fs/cgroup
tmpfs 3.9G 4.0K 3.9G 1% /tmp
none 5.0M 0 5.0M 0% /run/lock
none 3.9G 76K 3.9G 1% /run/shm
none 100M 28K 100M 1% /run/user
Recebo mensagens de aviso como "Esta máquina tem apenas 20 MB restantes", sugerindo que é a partição / cow (ou seja lá o que for) no topo que está sendo usado.
E quando eu executo df -h em uma máquina diferente, com o pen drive conectado, vejo isso no pen drive:
/dev/sdc1 15G 5.5G 9.2G 38% /media/UUI
O mesmo que na partição /dev/sdb1 listada nos resultados de df no SO problemático (a diferença de 5,5 vs 5,8 é porque o df reporta tamanhos em blocos de 1024 bytes).
Se eu executar fdisk -l dentro do sistema operacional do problema, recebo este:
Disk /dev/sda: 500.1 GB, 500107862016 bytes
255 heads, 63 sectors/track, 60801 cylinders, total 976773168 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 4096 bytes
I/O size (minimum/optimal): 4096 bytes / 4096 bytes
Disk identifier: 0x3d7d91ef
Device Boot Start End Blocks Id System
/dev/sda1 2048 3074047 1536000 7 HPFS/NTFS/exFAT
/dev/sda2 * 3074048 313377829 155151891 7 HPFS/NTFS/exFAT
/dev/sda3 313378814 948099071 317360129 5 Extended
Partition 3 does not start on physical sector boundary.
/dev/sda4 948099072 976771071 14336000 7 HPFS/NTFS/exFAT
/dev/sda5 931889152 948099071 8104960 82 Linux swap / Solaris
/dev/sda6 519759872 931889151 206064640 83 Linux
/dev/sda7 313378816 519757823 103189504 83 Linux
Partition table entries are not in disk order
Disk /dev/sdb: 15.7 GB, 15724707840 bytes
74 heads, 10 sectors/track, 41503 cylinders, total 30712320 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0xc3072e18
Device Boot Start End Blocks Id System
/dev/sdb1 * 8064 30712319 15352128 c W95 FAT32 (LBA)
(os 500 GB listados no topo são o tamanho do disco rígido na máquina host na qual o pen drive USB está conectado)
E quando eu executo fdisk -l em uma máquina diferente, com o pen drive conectado, vejo o seguinte para o pendrive:
Disk /dev/sdc: 15.7 GB, 15724707840 bytes
74 heads, 10 sectors/track, 41503 cylinders, total 30712320 sectors
Units = sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0xc3072e18
Device Boot Start End Blocks Id System
/dev/sdc1 * 8064 30712319 15352128 c W95 FAT32 (LBA)
Então, parece que é FAT32. É este o motivo do limite de tamanho? Existe alguma maneira eu posso expandir essa "partição" ou seja o que for para usar todo o stick USB? Minha instalação é inutilizável porque eu preciso instalar cerca de 5GB de arquivos, e deixar um par de GB para troca, etc., para que seja útil para o meu trabalho.
EDIT: na minha pergunta original, não era óbvio que eu estava executando os comandos da minha pergunta em um sistema operacional diferente, com o stick usb conectado a ele como uma unidade externa, ao invés de executá-los dentro da instalação do sistema operacional problema. Eu adicionei os resultados de executar os comandos dentro da instalação também, e mais claramente denotou qual é qual. Desculpe por qualquer confusão causada.
EDIT2 - eu reformatei o drive para ext4, mas olhando para ele no Disk Utility ele diz que o formato é ext4, mas o tipo de partição é W95 FAT32. (veja png em anexo) 
Está tudo bem? Seria uma pita para instalar todas as coisas novamente e, em seguida, descobrir que ainda não formatei o drive USB corretamente.