¿Reducir o eliminar la partición udev en Ubuntu?

Hoy me quedé sin espacio en disco al intentar compilar un programa. Cuando ejecuté df -h, noté que las particiones eran torpes. df -h rinde

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

Tengo algunas preguntas sobre este resultado.

1. ¿Por qué se asigna todo el espacio a udev? ¿Fue solo un error que el usuario cometió durante la instalación o hay alguna razón para esto?
2. Si reparticiono, ¿elimino udev o simplemente lo reduzco?

udevno es una partición en un disco duro permanente. Es un disco RAM . Como tal, no consume ninguna capacidad de un disco duro permanente (excepto parte del intercambio cuando el sistema tiene poca RAM).

Discos RAM y / dev en Linux

Ubuntu como muchas distribuciones modernas de Linux utiliza devtmpfsel sistema de archivos para el /devdirectorio. El directorio contiene archivos especiales (dispositivo) que son solo interfaces para controladores de dispositivo. devtmpfses una instancia especial de tmpfs. El /devdirectorio es una parte esencial de la estructura de directorios tipo Unix. Si lo elimina, el sistema dejará de funcionar.

Puede notar que en Ubuntu tmpfstambién se está montando /runy sus subdirectorios. En algunos otros sistemas también podría montarse en /tmp.

Tus preguntas

1. La asignación de espacio es la configuración predeterminada. Por defecto, tmpfslos sistemas de archivos están limitados al 50% de su capacidad de RAM. (¿Tiene 64 GB de RAM?) El número es realmente solo un límite porque los tmpfssistemas de archivos ocupan solo el espacio necesario para almacenar los archivos y para el /devdirectorio el espacio requerido es muy pequeño. La capacidad ocupada en su caso (un my) es de pocos KB.
2. No puede influir en los tmpfstamaños particionando porque no están almacenados en unidades físicas. No es posible eliminarlo sin cambios sustanciales en el sistema. Puede hacer que el límite de tamaño sea más bajo: sudo mount -o remount,size=1G /devpero esto solo cambiará el límite pero no el espacio RAM ocupado real.

Solución a tu problema

Su solución es repartir el disco y hacerlo /dev/sda1más grande (más fácil si es posible) o agregar nuevas particiones y montarlas en los directorios apropiados y mover los archivos existentes allí para liberar el /sistema de archivos root ( ).