Introduzione

Questa guida spiega come, senza reinstallare, sia possibile spostare la directory /home dalla partizione / in una partizione separata. Ciò quanto, originariamente, la directory /home sia contenuta nella partizione /.

Per un introduzione sull'argomento fare riferimento alla seguente pagina.

I vantaggi di avere una directory /home separata dalla partizione /:

• Proteggere i dati dell'utente;
• Mantenere un livello ottimale di efficienza del sistema;
• Possibilità di mantenere le impostazioni dei programmi installati in caso di una nuova installazione;

• Mantenere sotto controllo le dimensioni e le caratteristiche delle partizioni /home e /, potendo anche scegliere di posizionarle su due hard disk diversi per evitare che guasti hardware possano provocare perdita di dati.

Pre-requisiti

Per affrontare agevolmente gli argomenti tratti l'utente dovrà assicurarsi di:

1. Conoscere gli argomenti della seguente guida, per disporre delle nozioni necessarie per identificare le partizioni;

2. Conoscere il programma GParted;

3. Conoscere gli argomenti della seguente guida, per sapere come montare una partizione da riga di comando;

Verifiche sullo spazio disponibile

• Verificare la dimensione della propria /home digitando il seguente comando in una finestra di terminale:

  du -kshP /home

• L'output restituito sarà simile al seguente:

  1,3G    /home

La partizione che ospiterà la cartella /home dovrà essere sempre maggiore alla cartella stessa.

• Si consiglia di dimensionare la partizione dedicata alla /home in modo che, dopo il trasferimento, restino almeno 4GB / 5GB di spazio libero. In questo modo si evita di trovarsi nelle condizioni di non poter più lavorare a causa dell'esaurimento dello spazio disponibile.

• Verificare lo spazio libero delle proprie partizioni. Allo scopo potrebbe essere utile un programma come GParted.

Modifica delle partizioni

• Ridimensionare la partizione che si desidera e crearne una nuova nello spazio liberato che si è creato. Questa nuova partizione ospiterà la /home.

• Assicurarsi che la nuova partizione sia formattata con lo stesso File System della partizione dalla quale si estrarrà la /home.

Copia della /home nella nuova partizione

• Montare la nuova partizione creata attraverso il comando

sudo mkdir /media/home && sudo mount /dev/sdxx /media/home

Sostituire a sdxx il nome della partizione.

• Copiare la home nella nuova posizione attraverso il comando

sudo cp -av /home/nome_utente /media/home

Sostituire a nome_utente il proprio nome utente. Il processo potrebbe durare da qualche minuto a diverse ore, a seconda della quantità di dati da trasferire e della potenza del computer.

• Verificare che la dimensione della /home originale e della sua copia coincidano confrontando i comandi

  df -h /home

  df -h /media/home

• Attribuire i permessi alla nuova cartella attraverso il comando

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

UUID della partizione

• Ricavare il nome della partizione in cui è stata copiata la /home con il comando

df -h /media/home

Il comando restituirà un output del tipo

File system            Dim. Usati Disp. Uso% Montato su
/dev/sda8             6,3G  1,4G  4,6G  24% /media/home

• Ricavare l'UUID della partizione con il comando

sudo blkid /dev/sda8

Sostituire a /dev/sda8 il nome della propria partizione. Il comando restituirà un output del tipo

/dev/sda8: UUID="41800cf0-acb6-4845-b05e-479e9258f25f" TYPE="ext4"

• Copiare la stringa appena ottenuta, ad esempio

41800cf0-acb6-4845-b05e-479e9258f25f

Modificare il file /etc/fstab

• Creare una copia di backup del file

sudo cp /etc/fstab /etc/fstab.backup

• Aprire il file /etc/fstab con un editor di testo e con privilegi di amministratore

  sudo gedit /etc/fstab

• Creare una nuova riga e inserire:

UUID=xxx /home ext4 relatime 0 2

Inserire al posto di xxx l'UUID ottenuto al passo precedente.

• Verificare la correttezza degli UUID delle altre partizioni del sistema digitando, in una finestra di terminale, il comando

sudo blkid

e confrontando i valori con quelli presenti nel file /etc/fstab.

• Salvare, chiudere il file e riavviare il sistema.

Verifica

Al riavvio, per verificare che la cartella /home sia stata effettivamente spostata, si può utilizzare il comando

df -h

che restituirà un output del tipo

File system            Dim. Usati Disp. Uso% Montato su
/dev/sda6             8,6G  4,0G  4,2G  49% /
none                  245M  256K  245M   1% /dev
none                  249M  112K  249M   1% /dev/shm
none                  249M   88K  249M   1% /var/run
none                  249M     0  249M   0% /var/lock
none                  249M     0  249M   0% /lib/init/rw
/dev/sda8             6,3G  1,4G  4,6G  24% /home
/dev/sda1             9,4G  1,7G  7,7G  18% /media/4E80F14880F136D5

in cui si vede che la /home si trova, in questo caso, in /dev/sda8.

Errori

Se la procedura non dovesse aver avuto esito positivo, durante il boot del sistema ci si ritroverà di fronte ad un messaggio di errore del tipo

L'unità disco per /home non è ancora pronta o non è presente

Per ovviare al problema premere il tasto M sulla tastiera; comparirà quindi una shell di ripristino. A questo punto:

• Dare il comando

cp -f /etc/fstab.backup /etc/fstab

per ripristinare il file /etc/fstab originale

• Riavviare quindi il sistema con il comando

shutdown -r now

Il sistema sarà riavviato e si tornerà alla alla condizione originale. La partizione che è stata creata non verrà però eliminata.

Eliminazione della vecchia /home

A questo punto, se la procedura ha avuto esito positivo, si può eliminare la vecchia /home. Per fare ciò è necessario operare da LiveCD eliminando la cartella /home contenuta nella partizione di sistema (/).

Riferimenti

• http://perfab.wordpress.com/2010/03/06/separare-la-home-da-ubuntu/

CategoryNuoviDocumenti