Falta de espaço em disco no diretório / home?

Question

Eu tenho um HD de 200GB e acabei de instalar o Linux Mint (12-KDE) como o único SO (formatei e limpei minha instalação anterior do Windows 7). Eu estou no processo de instalar meu "sandbox" e porque sou novo no Linux estou instalando todas as coisas que não podem ser encontradas com gerenciadores de pacotes no diretório /home/<username> , coisas como:

• Jenkins CI
• Artifactory
• Eclipse e todos os seus plugins
• AppDynamics Lite
• WebCastellum

E outros. Ao tentar instalar um plug-in do Eclipse (plug-in GAE / GWT do Google) recebi uma notificação de que estava prestes a ficar sem espaço no diretório /home e, com certeza, o plug-in do Eclipse falhou ao concluir a instalação porque ficou sem espaço disponível em disco.

Quando executo df do terminal, recebo esta saída:

Filesystem     1K-blocks     Used Available Use% Mounted on
/dev/sda5       13783792 12133900    958336  93% /
udev             4016004        4   4016000   1% /dev
tmpfs            1611136     1056   1610080   1% /run
none                5120        0      5120   0% /run/lock
none             4027832       84   4027748   1% /run/shm

Mais uma vez, novo no Linux, então isso não significa muito para mim, mas parece como se eu estivesse usando atualmente 93% do meu disco (que eu assumo é /dev/sda5 )?

Isso é loucura!?! Isso é 200GB e tudo que eu fiz é instalar alguns aplicativos relativamente pequenos. Eu nem acho que tenho alguma mídia (fotos, vídeos, etc.) nesta máquina ainda! Eu literalmente instalei o sistema operacional e comecei a configurar minha sandbox!

Algumas coisas:

• Estou lendo essa saída df corretamente?
• Preciso "montar" ou fazer algo especial com meu diretório /home que não consegui fazer?
• É comum obter esse erro de falta de espaço em disco em /home se você é um usuário inexperiente do Linux (e não fez nenhuma montagem ou outra mágica do Linux como prescrito acima)?
• Como eu poderia estar em 93%?!?! Eu poderia ter um vírus ?!?

Agradecemos antecipadamente por qualquer ajuda aqui!

Editar : embora atualmente a leitura seja de 93%, a noite passada (que é quando recebi esses erros), ela estava em 99%.

Saída de lsblk :

NAME   MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
sda      8:0    0 232.9G  0 disk 
├─sda1   8:1    0 211.8G  0 part 
├─sda2   8:2    0     1K  0 part 
├─sda5   8:5    0  13.2G  0 part /
└─sda6   8:6    0   7.9G  0 part [SWAP]
sr0     11:0    1  1024M  0 rom  
sdb      8:16   1   1.9G  0 disk 
└─sdb1   8:17   1   1.9G  0 part /media/PKBACK# 001
sr1     11:1    1     7M  0 rom  

    

Answer 1

A saída de df -h ("human-readable sizes") pode ser um pouco mais clara que a simples df .

Na verdade, provavelmente mostraria que o tamanho de / é de apenas 13 GB - acredito que você tenha criado uma segunda partição de ~ 190 GB para /home , mas esqueceu de montá-lo, então todos os arquivos estão sendo armazenados na primeira partição ( / ).

Você pode usar lsblk ou ferramentas de particionamento, como parted / gparted , para listar todas as partições existentes e seus tamanhos.

Verifique se a partição para /home está listada por lsblk ou em /etc/fstab e tente montá-la. Mas por enquanto, monte-o em algum lugar além de /home , por exemplo, /mnt - para facilitar a transferência dos arquivos.

Sua atualização mostra uma partição grande em /dev/sda1 . Você pode montá-lo temporariamente em /mnt :

# mount /dev/sda1 /mnt

Se o comando for bem sucedido, ele retornará silenciosamente. Se ele reclama de "fstype desconhecido", pode ser que a partição ainda não tenha nenhum sistema de arquivos - mkfs.ext4 /dev/sda1 formataria como ext4 , o mais comum.

Para mover seus arquivos, faça logout da sua conta, faça login como root e use rsync -avP /home/ /mnt/ para transferir dados. Depois, exclua-o do antigo /home manualmente.

Para tornar a partição permanentemente montada em /home , adicione o seguinte ao fstab:

/dev/sda1  /home  ext4  rw,relatime,acl  0  2

Ter / e /home separate facilita muito a reinstalação do Linux (por exemplo, se você quiser alterar as distribuições). Mas se você quiser mesclá-los, você pode fazer isso com gparted - no entanto, somente de um CD ao vivo, não do mesmo sistema.

Dentro do GParted, basta excluir a grande partição vazia e redimensionar a partição existente de 13 GB. Esteja ciente de que você pode precisar reinstalar seu gerenciador de inicialização (GRUB ou qualquer outro) depois de fazer isso.

    

Answer 2

Se minha matemática estiver correta, o tamanho da partição é de 13,7 GB com base no valor da coluna de blocos 1K. Parece que quando você, ou sua distro linux criou as partições, só disponibilizou 13,7 GB para a sua máquina, o resto do disco não está sendo usado. Você pode redimensionar a partição usando o GParted.