Wiki Ubuntu-it

Indice
Partecipa
FAQ
Wiki Blog
------------------
Ubuntu-it.org
Forum
Chiedi
Chat
Cerca
Planet
  • Pagina non alterabile
  • Informazioni
  • Allegati
  • Differenze per "Hardware/DispositiviPartizioni/SpostareHomePartizioneSeparata"
Differenze tra le versioni 2 e 32 (in 30 versioni)
⇤ ← Versione 2 del 19/09/2010 17.10.41 →
Dimensione: 5630
Autore: ClaudioGottardi
Commento:
← Versione 32 del 26/11/2011 16.07.40 → ⇥
Dimensione: 6718
Autore: JeremieTamburini
Commento: Modifiche di GiacomoFabris
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
Linea 1: Linea 1:
## page was renamed from GuidaWiki/DocumentazioneModello ## page was renamed from MarcoRofei/Prova3
Linea 4: Linea 4:
[[BR]]
[[Indice()]]		 <<WikiBanner(RichiestaRevisioneStilistica)>>
<<Indice>>
<<Informazioni(rilasci="11.04 10.10 10.04"; forum="http://forum.ubuntu-it.org/index.php/topic,471852.0.html")>>
= Separare la /home dalla root / =
I vantaggi che derivano dal fatto di avere due partizioni dedicate e separate per la cartella `/home` e la cartella `/` sono, ad esempio:
 * Proteggere i dati dell'utente
 * Mantenere alta l'efficenza del sistema
 * Mantenere le impostazioni dei programmi installati in caso di una nuova installazione;
 * Mantenere sotto controllo le dimensioni e le caratteristiche delle partizioni `/home` e `/`
 * Poterle posizionare su due Hard Disk diversi per evitare che guasti Hardware possano provocare la perdita di tutti i dati.
Linea 7: Linea 15:
= HomeSpostarePartizioneDedicata = L'obiettivo di questa guida è di, a partire da un sistema in cui `/` e `/home` convivono nella stessa partizione, ottenere un sistema in cui `/` e `/home` siano posizionate in due differenti partizioni dell'Hard Disk, senza dover reinstallare '''Ubuntu'''.
Linea 9: Linea 17:
Testo... Prima di procedere, si consiglia di effettuare una [[AmministrazioneSistema/BackupDelSistema|copia di backup]] dei propri dati.
Linea 11: Linea 19:
= Titolo 1 = == Verificare lo spazio disponibile ==
Linea 13: Linea 21:
Testo...  * Aprire un [[AmministrazioneSistema/RigaDiComando|terminale]] e verificare la dimensione della propria `/home` digitando il comando
{{{
du -kshP /home
}}}
Il comando restituirà la dimensione della cartella `home`, ad esempio: {{{
1,3G /home
}}}
Linea 15: Linea 29:
 0. Passo 1
 0. Passo 2
 0. Passo 3		 La partizione che ospiterà la cartella `/home` dovrà essere sempre maggiore alla cartella stessa.
Linea 19: Linea 31:
== Titolo 2 ==
The Guide		  ||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Grandi/info.png,,center)>> ||<style="padding:0.5em; border:none;">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. ||
Linea 22: Linea 33:
Setting up /home on a separate partition is beneficial because your settings, files, and desktop will be maintained if you upgrade, (re)install Ubuntu or another distro. This works because /home has a sub-folder for each user's settings and files which contain all the data & settings of that user. Also, fresh installs for linux typically like to wipe whatever partition they are being installed to so either the data & settings need to be backed-up elsewhere or else avoid the fuss each time by having /home on a different partition.  * Verificare lo spazio libero delle proprie partizioni. Allo scopo potrebbe essere utile un programma come [[Hardware/DispositiviPartizioni/PartizionamentoManuale|GParted]].
Linea 24: Linea 35:
Setup Partitions == Modifica delle partizioni ==
Linea 26: Linea 37:
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.  * 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`.
Linea 28: Linea 40:
Find the uuid of the Partition == Copia della /home nella nuova partizione ==
Linea 30: Linea 42:
The uuid reference to all partitions get to a command-line to try this  * [[Hardware/DispositiviPartizioni/MontarePartizioni|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.
Linea 32: Linea 48:
 * 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 [[AmministrazioneSistema/PermessiFile|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 [[Ufficio/EditorDiTesto|editor di testo]] e con [[AmministrazioneSistema/PermessiFile|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
{{{
Linea 33: Linea 100:
}}}
e confrontando i valori con quelli presenti nel file `/etc/fstab`.
 
 * Salvare, chiudere il file e riavviare il sistema.
Linea 34: Linea 105:
Alternatively, for some older releases of Ubuntu the "blkid" command might not work so this could be used instead = Verifica =
Linea 36: Linea 107:
sudo vol_id -u <partition> 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`.
Linea 38: Linea 125:
for example == Errori ==
Linea 40: Linea 127:
sudo vol_id -u /dev/sda3 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
}}}
Linea 42: Linea 132:
Now you just need to note down (copy&paste into a text-file) the uuid of the partition that you have set-up ready to be the new /home partition. 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.
Linea 44: Linea 145:
Setup Fstab = Eliminazione della vecchia /home =
Linea 46: Linea 147:
These commands should; 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 (`/`).
Linea 48: Linea 150:
   1. Creates a backup of fstab. The "$(date +%Y-%m-%d)" at the end automatically (and quite cleverly) gives the file today's date backwards.
   2. Compares fstab with the new back-up just to be certain it's good.
   3.		 = Riferimenti =
 * http://perfab.wordpress.com/2010/03/06/separare-la-home-da-ubuntu/
Linea 52: Linea 153:
      Opens the standard text-editor (gedit) in Ubuntu to edit fstab. Note that Kubuntu uses "kate" & Xubuntu uses "mousepad" instead but you could use any text-editor you have installed if you prefer.

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

and add these lines into it

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

Replace???????? with the UUID number of the intended /home partition.

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). If /media/home does not exist yet, then you should create it with the command:

sudo mkdir /media/home

Now, mount the partition with:

sudo mount -a

Copy /home to the New Partition

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

The --exclude='/*/.gvfs' prevents rsync from complaining about not being able to copy .gvfs, but I believe it optional. Even if rsync complains, it will copy everything else anyway. (See here for discussion on this)

Check Copying Worked

The data in /home now exists in 2 places but we need to check that it looks about right. If it looks approximately the same then it is probably completely right.

A Sneaky Safety Manoeuvre

So you now have 2 copies of your /home folder. The new one on the new partition and the old one still in the same partition it was always in. The problem is how to delete the right one!! Since we are still using the old /home 'just' rename your current /home folder:

cd /
sudo mv /home /old_home

Now re-create a new blank /home directory just in case it has all gone wrong!

cd /
sudo mkdir -p /home/user

Now if things have gone wrong then the system will boot into what appears to be a fresh install with all your data missing. In fact, of course, there are still 2 copies of it all :)

Make the Switch

We now need to modify the fstab again to point to the new /home and mount it properly. So again on a command-line

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
= Titolo 1 =

Testo...

 0. Passo 1
 0. Passo 2
 0. Passo 3

== Titolo 2 ==

Testo...

= Ulteriori risorse =

 * Risorsa 1
 * Risorsa 2

## da questo punto in poi non modificare!

Richiesta revisione stilistica: Questo articolo non rispetta le regole stilistiche descritte nella pagina RegoleStilistiche.

Questa guida è stata verificata solo con versioni obsolete di Ubuntu, potrebbe non essere più valida. Vuoi contribuire ad aggiornarla? Clicca qui!

Problemi in questa pagina? Segnalali in questa discussione

Separare la /home dalla root /

I vantaggi che derivano dal fatto di avere due partizioni dedicate e separate per la cartella /home e la cartella / sono, ad esempio:

  • Proteggere i dati dell'utente
  • Mantenere alta l'efficenza del sistema
  • Mantenere le impostazioni dei programmi installati in caso di una nuova installazione;

  • Mantenere sotto controllo le dimensioni e le caratteristiche delle partizioni /home e /

  • Poterle posizionare su due Hard Disk diversi per evitare che guasti Hardware possano provocare la perdita di tutti i dati.

L'obiettivo di questa guida è di, a partire da un sistema in cui / e /home convivono nella stessa partizione, ottenere un sistema in cui / e /home siano posizionate in due differenti partizioni dell'Hard Disk, senza dover reinstallare Ubuntu.

Prima di procedere, si consiglia di effettuare una copia di backup dei propri dati.

Verificare lo spazio disponibile

  • Aprire un terminale e verificare la dimensione della propria /home digitando il comando 

du -kshP /home

Il comando restituirà la dimensione della cartella home, ad esempio: 

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

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

CategoryNuoviDocumenti