BR Indice()

HomeSpostarePartizioneDedicata

I vantaggi di questa Guida

Questa guida è stata liberamente tradotta dall'inglese ( https://help.ubuntu.com/community/Partitioning/Home/Moving ) per permettere di avere ulteriori punti di riferimento rispetto alle diverse informazioni già esistenti. Le Guide della Comunità sono un modo particolarmente utile di aiutare diverse persone in uno stesso momento. Questa guida:

• Ambisce a mantenere in funzione il sistema e a proteggere i dati in modo sicuro.
  • o Se il sistema dovesse spegnersi inaspettatamente, andare in ibernazione o dovesse accadere qualcosa d'altro durante l'esecuzione di questa procedura, sarebbe sufficiente ri-avviare il sistema e continuare a lavorare. Questa d'altra parte è l'ambizione di questa guida.
• Prepara Partizioni e fstab prima, modificando fstab solo alla fine.
  • o Le persone provano ed acquisiscono familiarità con gli strumenti prima che ci sia un "disastro" finale, e questo è un altro vantaggio della guida. Altre guide usano comandi mount, dopodichè spostano la /home e modificano fstab. Tuttavia se dovessimo scompaginare fstab a quel punto cruciale, qualora ri-avviassimo il sistema avremmo perso traccia dei files /home! Definire fstab prima e usare "sudo mount -a" per montare la partizione permette di verificare se il fstab modificato funziona in modo sicuro a quel punto del procedimento.
• Usa rsync per spostare i files
  • o Rsync è stato sviluppato per i backups di /home, e molto di più. E' in grado di mantenere le altre caratteristiche dei files come permessi, titolarità e ownership, and timestamps. Ci sono molte discussioni su quale sia il comando più opportuno per spostare i files/home, incluso quelle di un tempo in cui cp era considerato non adatto a questa funzione (apparentemente ometteva files?). Cp non era stato sviluppato come strumento potente per backup quanto invece la messa a punto di rsync. La soluzione perciò è stata quella di usare una combinazione di find e cpio (See section 8.3.5).

La Guida

Configurare una /home su una partizione separata e dedicata offre dei benefici perchè le vostre impostazioni, files e Scrivania saranno mantenuti anche se aggiornate, re-installate Ubuntu o andate incontro a qualche crash totale. Ciò può accadere perchè /home contiene le cartelle delle impostazioni e dei files di ciascun utente. Cioè tutti i suoi dati! Oltretutto, per sua impostazione una nuova installazione linux tende tipicamente a ripulire la partizione che è stata prescelta. Questo perciò implica un notevole trambusto per trovare e salvare altrove tutti i dati degli utenti. Fastidio che si può eviatre con una /home separata in una partizione dedicata.

Configurare le Partizioni

This is beyond the scope of this page. Try here if you need help. Memorize or write down the location of the partition, something like /sda3. Its been suggested to use either ext2, ext3 or ext4 rather than vfat or ntfs. Using vfat is not supported and may fail, since vfat does not support permissions. Ntfs has an advantage of being journalised, like ext3 & ext4 but it can also be read easily by Windows. It is a lot less stable than ext3 or ext4 so it is really a question of stability compared with easy access for Windows. If you don't dual-boot with Windows or have plenty of hard-drive space then staying with very much safer ext3 or 4 is the obvious choice.

Trovare l' uuid delle Partizioni

Il codice uuid di tutte le partizioni si ottiene con questo comando a terminale:

 sudo blkid 

A volte, per alcune versioni più vecchie di Ubuntu il comando "blkid" potrebbe non funzionare. In questi casi utilizzate invece:

 sudo vol_id -u <partition>  

per esempio

 sudo vol_id -u /dev/sda3  

Ora prendete nota (copia e incolla in un file di testo) dell'identificativo uuid della partizione che avete definito essere la nuova e futura partizione /home.

Configuare Fstab

Questi comandi dovranno:

1. Creare un backup di fstab. Il "$(date +%Y-%m-%d)" alla fine automaticamente abbina la data odierna di salvataggio al file.
2. Confrontare fstab con quello nuovo, giusto per essere tranquilli che vada bene.
3. Aprire l'editor di testo standard (gedit) in Ubuntu per modificare fstab. Notate che invece, Kubuntu usa "kate" e Xubuntu usa "mousepad" ma voi potete usare l'editor di testo che preferite.

{{{ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) cmp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) gksu gedit /etc/fstab }}}

e aggiungete all'interno queste linee di istruzioni

{{{ # (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /media/home ext3 nodev,nosuid 0 2 }}}

Sostituendo ???????? con il numero UUID della partizione /home pre-definita.

The Fstab location will be a temporary one - we are to mount the temporary location and copy the existing home to it. (/media/home is assumed in the rest of the guide). Se /media/home non esiste ancora, dovete crearla con il comando:

 sudo mkdir /media/home  

Ora, montate la partizione con:

 sudo mount -a  

Copiate /home nella nuova Partizione

 sudo rsync -axS --exclude='/*/.gvfs' /home/. /media/home/.  

Il --exclude='/*/.gvfs' non permette a rsync di avvisare di non essere in grado di copiare .gvfs, ma credo sia opzionale. Anche se rsync lancia un avviso, copierà comunque qualsiasi cosa. (Vedere qui una discussione al riguardo)

Verifica della copia effettuata

Le informazioni in /home ora esistono in 2 posti ma abbiamo bisogno di verificare che tutto sia in regola. Se sembra approssimativamente lo stesso è probabilmente tutto giusto.

A Sneaky Safety Manoeuvre

Perciò ora avete 2 copie della vostra cartella /home. La nuova nella nuova partizione e la vecchia ancora nella stessa partizione in cui era. Il problema è ora quello di eliminare quella giusta!! Poichè stiamo ancora utilizzando la vecchia /home basta rinominarla:

{{{ cd / sudo mv /home /old_home }}}

Ora ri-creaiamo una nuova directory vuota /home giusto in caso vada tutto storto!

{{{ cd / sudo mkdir -p /home/user }}}

A questo punto se le cose sono andate male il sistema si riavvia in quello che apparirà come una nuova installazione in cui tutti i dati sono stati persi. Ed invece a tutti gli effetti sono ancora disponibili le 2 copie

Applicare il cambiamento

Ora è il momento di modificare di nuovo fstab per puntare alla nuova /home e montarla in modo adeguato. Perciò è necessario di nuovo digitare a terminale il comando:

 gksu gedit /etc/fstab  

and now edit the lines you added earlier to delete the /media part. This should make /media/home into /home as follows

{{{ # (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /home ext3 nodev,nosuid 0 2 }}}

and finally, remount the partition with:

 sudo mount -a  

Does it all still look fine? Can you still access your files & folders from the "Places" menu? Reboot to ensure that currently running programs use the /home that is on the new partition.

After a reboot

If everything is working, great, you can delete /old_home. If things aren't working, you can undo by moving your /old_home back to /home, and delete the line you added to fstab.

Technical Notes and Resources

Rsync was chosen over cp and find|cpio because it seemed to maintain permissions.

http://ubuntu.wordpress.com/2006/01/29/move-home-to-its-own-partition/

http://ubuntuforums.org/showthread.php?t=46866

CategoryNuoviDocumenti