Wiki Ubuntu-it

Indice
Partecipa
FAQ
Wiki Blog
------------------
Ubuntu-it.org
Forum
Chiedi
Chat
Cerca
Planet
  • Pagina non alterabile
  • Informazioni
  • Allegati

Versione 39 del 22/08/2013 23.30.44

Nascondi questo messaggio

Problemi in questa pagina? Segnalali in questa discussione

Introduzione

Questa guida spiega come, senza reinstallare il sistema, sia possibile spostare la directory /home dalla partizione / in una partizione separata, qualora la directory /home sia originariamente 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

E' consigliabile eseguire una copia di backup di tutti i propri dati prima di procedere.

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

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

  • Conoscere il programma GParted;

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

Verifica dello spazio disponibile

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

Verifica spazio utilizzato directory /home

  1. Digitare in una finestra di terminale il comando:

    du -kshP /home
  2. L'output restituito sarà simile al seguente:

    1,3G    /home

Attribuire alla partizione /home una dimensione appropriata affinché lo spazio non risulti insufficiente rispetto alle proprie esigenze. E' consigliabile lasciare almeno 4GiB / 5GiB di spazio libero.

Verifica dimensione partizioni

  1. Verificare la dimensione delle proprie partizioni digitando il seguente comando in una finestra di terminale:

    df -h
  2. L'output restituito sarà simile al seguente:

    File system            Dim. Usati Disp. Uso% Montato su
    /dev/sda1              18G  4,4G   13G  26% /

Modifica delle partizioni

  1. Creare dello spazio libero sul disco ridimensionando la partizione desiderata;
  2. Creare nello spazio liberato una partizione /home formattandola con lo stesso file system utilizzato per /.

Copia della /home

  1. Per montare la partizione appena creata, digitare il seguente comando:

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

    mettendo al posto di sdxx il nome della propria partizione.

  2. Copiare la vecchia /home nella nuova posizione digitando il seguente comando in una finestra di terminale:

    sudo cp -priv /home/nome_utente /media/home

    sostituendo a nome_utente il proprio nome utente. La durata del processo dipenderà dalla quantità di dati da trasferire.

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

    df -h /home

    e

    df -h /media/home 

Modificare /etc/fstab/

  1. Ricavare l'UUID della partizione in cui è stata copiata la /home digitando il seguente comando in una finestra di terminale

    sudo blkid /dev/sdxx

    sostituendo sdxx con il nome della propria partizione.

  2. Il comando restituirà un output simile al seguente:

    /dev/sda8: UUID="41800cf0-acb6-4845-b05e-479e9258f25f" TYPE="ext4"
  3. Copiare la stringa appena ottenuta, ad esempio

    41800cf0-acb6-4845-b05e-479e9258f25f
  4. Creare una copia di backup di /etc/fstab:

    sudo cp /etc/fstab /etc/fstab.backup
  5. Con un editor di testo e con privilegi di amministrazione aprire il file /etc/fstab digitando il seguente comando in una finestra di terminale:

    sudo gedit /etc/fstab
  6. In una nuova riga inserire:

    UUID=uid /home ext4 defaults 0  2

    sostituendo uid con l'UUID individuato in precedenza.

  7. 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:

  1. Dare il comando

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

    per ripristinare il file /etc/fstab originale

  2. 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.

Eliminare i contenuti della vecchia /home

Se la procedura ha avuto esito positivo e si desidera liberare spazio, si possono eliminare i contenuti ancora presenti nella vecchia /home interna alla partizione di sistema (/) utilizzando il LiveCD.

Ulteriori risorse


CategoryHardware