Ridurre o eliminare la partizione udev in Ubuntu?

Ho esaurito lo spazio su disco oggi durante il tentativo di compilare un programma. Quando ho eseguito df -h, ho notato che le partizioni erano traballanti. df -h produce

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

Ho alcune domande su questo risultato.

1. Perché tutto lo spazio è assegnato a udev? È stato solo un errore che l'utente ha fatto durante l'installazione o c'è una ragione per questo?
2. Se ripartiziono, cancello udev o lo rimpicciolisco?

udevnon è una partizione su un disco rigido permanente. È un disco RAM . In quanto tale, non consuma alcuna capacità di un disco rigido permanente (tranne parte dello scambio quando il sistema è a corto di RAM).

Dischi RAM e / dev in Linux

Ubuntu, come molte moderne distribuzioni Linux, utilizza il devtmpfsfile system per la /devdirectory. La directory contiene file speciali (dispositivo) che sono solo interfacce per i driver di dispositivo. devtmpfsè solo un'istanza speciale di tmpfs. La /devdirectory è una parte essenziale della struttura di directory simile a Unix. Se lo elimini, il sistema smetterà di funzionare.

Si può notare che in Ubuntu tmpfsviene anche montato /rune le sue sottodirectory. Su alcuni altri sistemi potrebbe anche essere montato su /tmp.

Le tue domande

1. L'assegnazione dello spazio è l'impostazione predefinita. Per impostazione predefinita, i tmpfsfile system sono limitati al 50% della capacità della RAM. (Hai 64 GB di RAM?) Il numero è davvero solo un limite perché i tmpfsfile system occupano solo lo spazio necessario per archiviare i file e per la /devdirectory lo spazio richiesto è molto piccolo. La capacità occupata nel tuo caso (mio) è di pochi KB.
2. Non è possibile influenzare le tmpfsdimensioni partizionando perché non sono archiviate su unità fisiche. Rimuoverlo non è affatto possibile senza sostanziali modifiche al sistema. Puoi ridurre il limite di dimensioni: sudo mount -o remount,size=1G /devma questo cambierà solo il limite ma non lo spazio RAM occupato effettivo.

Soluzione al tuo problema

La soluzione è ripartizionare l'unità e renderla /dev/sda1più grande (più semplice se è possibile ripartizionare) o aggiungere nuove partizioni e montarle nelle directory appropriate e spostare lì i file esistenti per liberare il /file system root ( ).