Linux separare la home

: 1912

Separare la Home

Ridurre dimensione file system

Nel caso abbiate già installato Linux e vogliate separare la /home per metterla in una partizione separata dovrete procedere a creare una nuova partizione che la ospiterà, se non avete spazio sufficiente a per creare una nuova partizione sull'HD copiate la vostra /home su un disco esterno, su chiavetta o altro.

Lanciate GParted, se non è installato lo potete installare da terminale e digitare od incollare quanto segue:

 sudo apt-get update

e poi

sudo apt-get install gparted

Riducete lo spazio del file system alla dimensione superiore allo spazio occupato (che risulta nella finestra principale di GParted sotto Utilizzato) , si creerà uno spazio non partizionato dove creare la nuova partizione con punto di mount /home , da menu Partizione --> Nuova, fatto questo usciamo da GParted.

Per copiare i dati dalla vecchia alla nuova /home possiamo procedere in due modi:

1. su installazione esistente
Lanciate il Terminale. In esso vanno digitati o copiati ed incollati i seguenti comandi;
- montiamo temporaneamente la partizione in /media:

sudo mount /media/home

- copiamo i dati dalla vecchia alla nuova /home:

sudo cp -av /home/nomeutente /media/home

dove nomeutente deve essere sostituito con nome dell'utente, nel mio caso: antonio
- terminata la copia attribuiamo i permessi :

sudo chown $(id -u) /media/home/nomeutente

- verifichiamo la partizione:

df -h /media/home

avremo un risulta simile a questo :

/dev/sda4 241G 112G 117G 49% /home

identifichiamo l’UUID:

sudo blkid /dev/sda4

(/dev/sda4 ci è venuto fuori dal comando precedente), il risultato sarà simile a questo :

/dev/sda4: LABEL="home" UUID="a5a91f22-0246-428b-a6c0-1f5e8dc54bcc" TYPE="ext4"

prendiamo nota dell'UUID, (nell'esempio UUID=a5a91f22-0246-428b-a6c0-1f5e8dc54bcc senza virgolette) o meglio copiamolo nella clipboard per poi aggiungerlo in fstab come di seguito spiegato

verifichiamo tutte le partizioni presenti:

sudo blkid

un possibile risultato:

antonio@antonio-P5E3 ~ $ sudo blkid [sudo] password for antonio: /dev/sda1: UUID="94fba02a-ae8b-4e23-a2fc-1555903839a3" TYPE="ext4" /dev/sda2: UUID="33539330-47ff-45e1-bb42-74e164d09706" TYPE="swap" /dev/sda5: LABEL="home" UUID="a5a91f22-0246-428b-a6c0-1f5e8dc54bcc" TYPE="ext4" /dev/sda6: UUID="547650c3-7d94-41a3-8d64-dc596d6e7e53" TYPE="ext4" /dev/sda7: LABEL="kali-linux" UUID="5ecf0ec9-3cb6-441a-97ae-3978e190aeb0" TYPE="ext4" /dev/sda8: UUID="3cca3b1d-c4b7-4cd6-843e-a31ec7ed3eed" TYPE="ext4" /dev/sda9: UUID="ca9e5d16-3b93-4c69-ad8e-7b3da624dddc" TYPE="ext4" /dev/sda10: UUID="16f0b36a-4bd0-48e0-b42e-fc7ba58c95d0" TYPE="ext4" /dev/sda11: UUID="d8b7d15d-0594-4439-9176-03c0f93b0487" TYPE="ext4" /dev/sdb1: LABEL="WinXp-prof" UUID="7E303D32303CF2AF" TYPE="ntfs" /dev/sdb2: LABEL="Win7prof" UUID="9850CEDE50CEC26C" TYPE="ntfs" /dev/sdc1: LABEL="ARCHIVIO-CO" UUID="0FAC74067CBF9A14" TYPE="ntfs" /dev/sdc2: LABEL="Back-Linux" UUID="27DA27351F67BD06" TYPE="ntfs" /dev/sdc3: LABEL="Back-Win" UUID="1AB2728CB2726BDF" TYPE="ntfs" antonio@antonio-P5E3 ~ $

- inseriamo l'UUID corretto della partizione in fstab in modo che la /home venga montata all'avvio, apriamo fstab col nostro editor di testi (pluma, gedit, pcmanfm, ecc.) , nel mio caso gedit :

sudo gedit /etc/fstab

ed aggiungiamo la linea :
nell'esempio è :
UUID=a5a91f22-0246-428b-a6c0-1f5e8dc54bcc /home ext4 defaults 0 2

nella realtà è :
UUID=(codice annotato o copiato nella clipboard) /home ext4 defaults 0 2

a questo punto verificate che in fstab i dati relativi agli UUID di / e swap corrispondano a quelli ottenuti dal comando sudo blkid se dovessero essere diversi sostituirli con quelli corretti.

- smontiamo la nuova /home:

sudo umount /media/home

e montiamo la /home:

sudo mount /home

- al riavvio troveremo la nostra nuova /home perfettamente funzionante con tutti i nostri dati.

La cancellazione della vecchia /home può essere fatta solo da LiveCD, montando il file system presente sul HD ed facendo attenzione a cancellare solo la cartella /home.

2. Nuova installazione con contestuale separazione della /home

- copiare la /home su una chiavetta USB o su un disco esterno
- creare la nuova partizione /home come descritto in precedenza
- reinstallare Linux da DVD assegnando le tre partizioni che abbiamo già sul disco fisso, come da esempio :

/dev/sda2 come swap
/dev/sda3 con punto di mount / (formattare la partizione)
/dev/sda4 con punto mount /home (formattare la partizione)

- copiare i dati /home salvati sul supporto esterno nella /home di sistema e riavremo tutti i nostri dati, ed istallando nuovamente i precedenti programmi avremo anche le configurazioni che avevamo fatto compresa la configurazione del desktop.