|
Dimensione: 5630
Commento:
|
Dimensione: 7071
Commento:
|
| 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()]] |
<<Indice>> <<Informazioni(rilasci="11.04 10.10 10.04"; forum="http://forum.ubuntu-it.org/index.php/topic,471852.0.html")>> |
| Linea 7: | Linea 7: |
| = HomeSpostarePartizioneDedicata = | = Introduzione = |
| Linea 9: | Linea 9: |
| Testo... | 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 '''`/`'''. |
| Linea 11: | Linea 11: |
| = Titolo 1 = | Per un introduzione sull'argomento fare riferimento alla [[RigaDiComando#Home_utente_e_file_system | seguente pagina]]. |
| Linea 13: | Linea 13: |
| Testo... | 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. |
| Linea 15: | Linea 19: |
| 0. Passo 1 0. Passo 2 0. Passo 3 |
= Pre-requisiti = |
| Linea 19: | Linea 21: |
| == Titolo 2 == The Guide |
||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/warning.png,,center)>> ||<style="padding:0.5em; border:none;">'''E' consigliabile eseguire una copia di [[AmministrazioneSistema/BackupDelSistema|backup]] di tutti i propri dati prima di procedere.''' || |
| Linea 22: | Linea 23: |
| 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. | Per affrontare agevolmente gli argomenti trattati l'utente dovrà assicurarsi di: |
| Linea 24: | Linea 25: |
| Setup Partitions | 1. Conoscere gli argomenti della [[Hardware/DispositiviPartizioni/GestioneDisco|seguente guida]], per disporre delle nozioni necessarie per identificare le partizioni; 1. Conoscere il programma [[Hardware/DispositiviPartizioni/PartizionamentoManuale|GParted]]; 1. Conoscere gli argomenti della [[Hardware/DispositiviPartizioni/MontarePartizioni|seguente guida]], per sapere come montare una partizione da [[AmministrazioneSistema/RigaDiComando|riga di comando]]; |
| Linea 26: | Linea 29: |
| 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. | |
| Linea 28: | Linea 30: |
| Find the uuid of the Partition | = Verifica dello spazio disponibile = == Verifica spazio utilizzato directory /home == |
| Linea 30: | Linea 33: |
| The uuid reference to all partitions get to a command-line to try this | * 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 }}} |
| Linea 32: | Linea 40: |
| sudo blkid | La partizione che ospiterà la cartella `/home` dovrà essere sempre maggiore alla cartella stessa. |
| Linea 34: | Linea 42: |
| Alternatively, for some older releases of Ubuntu the "blkid" command might not work so this could be used instead | ||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Grandi/info.png,,center)>> ||<style="padding:0.5em; border:none;">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. || |
| Linea 36: | Linea 44: |
| sudo vol_id -u <partition> | == Verifica dimensione partizioni == |
| Linea 38: | Linea 46: |
| for example | * Verificare la dimensione delle proprie partizioni digitando il seguente comando in una finestra di terminale: {{{ df -h }}} * L'output restituito sarà simile al seguente: {{{ File system Dim. Usati Disp. Uso% Montato su /dev/sda1 18G 4,4G 13G 26% / }}} |
| Linea 40: | Linea 54: |
| sudo vol_id -u /dev/sda3 | = Modifica delle partizioni = |
| Linea 42: | Linea 56: |
| 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. | 1. Creare dello spazio libero sul disco ridimensionando la partizione desiderata; 1. Creare nello spazio liberato una partizione '''`/home`''' formattandola con lo stesso file system utilizzato per '''`/`'''. |
| Linea 44: | Linea 59: |
| Setup Fstab | = Montare la nuova /home = |
| Linea 46: | Linea 61: |
| These commands should; | Per [[Hardware/DispositiviPartizioni/MontarePartizioni|montare]] la partizione appena creata, digitare il seguente comando in una finestra di terminale {{{ sudo mkdir /media/home && sudo mount /dev/sdxx /media/home }}} mettendo al posto di `sdxx` il nome della propria partizione. |
| Linea 48: | Linea 65: |
| 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. |
= Copia della /home = |
| Linea 52: | Linea 67: |
| 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. | * 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. |
| Linea 54: | Linea 71: |
| sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) cmp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) gksu gedit /etc/fstab |
* Verificare che la dimensione della '''`/home`''' originale e della sua copia coincidano confrontando i comandi {{{ df -h /home}}} e {{{ df -h /media/home }}} |
| Linea 58: | Linea 76: |
| and add these lines into it | = Modificare /etc/fstab/ = |
| Linea 60: | Linea 78: |
| # (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /media/home ext3 nodev,nosuid 0 2 |
* 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. * Il comando restituirà un output simile al seguente: {{{ /dev/sda8: UUID="41800cf0-acb6-4845-b05e-479e9258f25f" TYPE="ext4" }}} * Copiare la stringa appena ottenuta, ad esempio {{{ 41800cf0-acb6-4845-b05e-479e9258f25f }}} * Creare una copia di backup di `/etc/fstab`: {{{ sudo cp /etc/fstab /etc/fstab.backup }}} * Con un [[Ufficio/EditorDiTesto|editor di testo]] e con [[AmministrazioneSistema/PermessiFile|privilegi di amministrazione]] aprire il file `/etc/fstab` digitando il seguente comando in una finestra di terminale: {{{ sudo gedit /etc/fstab }}} * In una nuova riga inserire: {{{ UUID=uid /home ext4 defaults 0 2 }}} sostituendo `uid` con l'UUID individuato in precedenza. |
| Linea 63: | Linea 97: |
| Replace???????? with the UUID number of the intended /home partition. | * Salvare, chiudere il file e riavviare il sistema. |
| Linea 65: | Linea 99: |
| 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: | = Verifica = |
| Linea 67: | Linea 101: |
| sudo mkdir /media/home | 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 69: | Linea 117: |
| Now, mount the partition with: | = Errori = |
| Linea 71: | Linea 119: |
| sudo mount -a | 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 73: | Linea 123: |
| Copy /home to the New Partition | Per ovviare al problema premere il tasto '''M''' sulla tastiera; comparirà quindi una shell di ripristino. A questo punto: |
| Linea 75: | Linea 126: |
| sudo rsync -axS --exclude='/*/.gvfs' /home/. /media/home/. | * 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 77: | Linea 134: |
| 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) | = Eliminare la vecchia /home = |
| Linea 79: | Linea 136: |
| Check Copying Worked | 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 81: | Linea 138: |
| 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. | = Riferimenti = * [[http://perfab.wordpress.com/2010/03/06/separare-la-home-da-ubuntu/|Separare la home da Ubuntu]] |
| Linea 83: | Linea 141: |
| 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! |
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
Verifica spazio utilizzato directory /home
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.
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
Verificare la dimensione delle proprie partizioni digitando il seguente comando in una finestra di terminale:
df -h
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
- Creare dello spazio libero sul disco ridimensionando la partizione desiderata;
Creare nello spazio liberato una partizione /home formattandola con lo stesso file system utilizzato per /.
Montare la nuova /home
Per montare la partizione appena creata, digitare il seguente comando in una finestra di terminale
sudo mkdir /media/home && sudo mount /dev/sdxx /media/home
mettendo al posto di sdxx il nome della propria partizione.
Copia della /home
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.
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/
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.
Il comando restituirà un output simile al seguente:
/dev/sda8: UUID="41800cf0-acb6-4845-b05e-479e9258f25f" TYPE="ext4"
Copiare la stringa appena ottenuta, ad esempio
41800cf0-acb6-4845-b05e-479e9258f25f
Creare una copia di backup di /etc/fstab:
sudo cp /etc/fstab /etc/fstab.backup
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
In una nuova riga inserire:
UUID=uid /home ext4 defaults 0 2
sostituendo uid con l'UUID individuato in precedenza.
- 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.
Eliminare la vecchia /home
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 (/).
