confusão de alocação de espaço / home e / HOME

2

Recentemente, adquiri um novo computador W8 e segui o este tutorial para obter o Ubuntu instalado em dual boot. É assim que meu sistema de arquivos se parece:

Device        Directory      Total
/dev/sda6     /               45GBiB
/dev/sda2     /boot/efi       356MiB
/dev/sda7     /HOME           874.3GiB

Agora, eu estava pesquisando sobre ciência de dados, baixei um arquivo de 12GB e o descompactei. Eu começo a receber erros dizendo que não tenho memória suficiente. Eu sei que tenho ~ 1TB alocado para o Linux. Tudo o que posso dizer é que eu estava trabalhando em / Home / myusername supondo que é onde a maioria do meu espaço foi alocado, mas parece que ~ 800GB estão em / HOME. Como sou novo no Linux, estou um pouco confuso. Alguma idéia de como fazer isso? Devo começar a usar / HOME ou existe uma maneira correta de realocar o espaço?

    
por user263961 31.03.2014 / 19:36

1 resposta

1

O sistema de arquivos padrão do Linux faz distinção entre maiúsculas e minúsculas. Você definiu um ponto de montagem em /HOME quando, em vez disso, você deve ter usado /home . Portanto, o /HOME simplesmente não é usado, não é seu diretório pessoal real, que está em /home/username , que é completamente separado de /HOME .

Para corrigir isso e usar a partição 874G que você criou como seu diretório pessoal real (no mundo Linux, seu diretório inicial é chamado de $HOME (observe o $ ) ou ~/ ). precisa seguir estes passos:

  1. Crie seu diretório pessoal em /HOME :

    sudo mkdir "/HOME/$USER"
    sudo chown username "/HOME/$USER"
    
  2. Copie tudo do seu atual $HOME para este novo diretório.

    mv ~/* ~/.* "/HOME/$USER"
    
  3. Diga ao sistema para montar a partição de /HOME no lugar certo, /home . Para isso, você precisará editar /etc/fstab :

    sudo gedit /etc/fstab
    

    Isso abrirá uma janela do editor, você precisa encontrar a linha que monta /HOME , será algo como isto:

    UUID=123-ABC    /HOME   ext4    rw,errors=remount-ro    0   0
    

    Altere /HOME para /home , deixe tudo como está.

  4. Remova o diretório inicial e reinicie

    sudo rmdir "/home/$USER"
    sudo reboot
    
por terdon 31.03.2014 / 19:50