Encolher ou excluir a partição do udev no Ubuntu?

Eu fiquei sem espaço em disco hoje ao tentar compilar um programa. Quando eu corri df -h, notei que as partições eram complicadas. df -h rendimentos

Filesystem      Size  Used Avail Use% Mounted on 
/dev/sda1       4.6G  4.4G     0 100% /
udev             32G  4.0K   32G   1% /dev
tmpfs            13G  724K   13G   1% /run 
none            5.0M     0  5.0M   0% /run/lock
none             32G     0   32G   0% /run/shm

Eu tenho algumas perguntas sobre essa saída.

1. Por que todo o espaço é atribuído ao udev? Foi apenas um erro que o usuário fez durante a instalação ou há uma razão para isso?
2. Se eu reparticionar, excluo o udev ou simplesmente o reduzo?

udev não é uma partição em um disco rígido permanente. É um Disco RAM . Como tal, não consome qualquer capacidade de um disco rígido permanente (exceto parte do swap quando o sistema está com pouca memória RAM).

Discos RAM e / dev no Linux

Ubuntu como muitas distribuições Linux modernas usa devtmpfs sistema de arquivos para o /dev diretório. O diretório contém arquivos especiais (dispositivo) que são apenas interfaces para drivers de dispositivos. devtmpfs é um exemplo apenas especial de tmpfs. o /dev O diretório é uma parte essencial da estrutura de diretório do tipo Unix. Se você excluí-lo, o sistema irá parar de funcionar.

Você pode perceber isso no Ubuntu tmpfs também está sendo montado em /run e seus subdiretórios. Em alguns outros sistemas também pode ser montado em /tmp.

Suas perguntas

1. A atribuição de espaço é a configuração padrão. Por padrão tmpfs os sistemas de arquivos estão limitados a 50% da sua capacidade de RAM. (Você tem 64 GB de RAM?) O número é realmente apenas um limite porque o tmpfs sistemas de arquivos ocupam apenas o espaço que é necessário para armazenar os arquivos e para o /dev diretório o espaço necessário é muito pequeno. A capacidade ocupada no seu (meu) caso é de poucos KB.
2. Você não pode influenciar o tmpfs tamanhos pelo particionamento porque eles não são armazenados em unidades físicas. A remoção não é possível sem alterações substanciais no sistema. Você pode diminuir o tamanho: sudo mount -o remount,size=1G /dev mas isso só mudará o limite, mas não o espaço real da RAM ocupada.

Solução para o seu problema

Sua solução é reparticionar a unidade e tornar /dev/sda1 maior (mais fácil se o reparticionamento for possível) ou para adicionar novas partições e, montá-las nos diretórios apropriados e mover os arquivos existentes para liberar a raiz ( / ) sistema de arquivo.