|
Dimensione: 5595
Commento:
|
Dimensione: 7477
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 Hardware/DispositiviPartizioni/HomePartizioneSeparata ## page was renamed from MarcoRofei/Prova3 |
| Linea 4: | Linea 5: |
| [[BR]] [[Indice()]] |
<<Indice>> <<Informazioni(rilasci="16.04 14.04"; forum="http://forum.ubuntu-it.org/viewtopic.php?t=471852")>> |
| Linea 7: | Linea 8: |
| = HomeSpostarePartizioneDedicata = | = Introduzione = |
| Linea 9: | Linea 10: |
| 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 12: |
| = Titolo 1 = | Per un introduzione sull'argomento fare riferimento alla [[AmministrazioneSistema/Terminale#La_cartella_Home| seguente pagina]]. |
| Linea 13: | Linea 14: |
| 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 20: |
| 0. Passo 1 0. Passo 2 0. Passo 3 |
= Prerequisiti = ||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/warning.png,,center)>> ||<style="padding:0.5em; border:none;">'''È consigliabile eseguire una copia di [[AmministrazioneSistema/BackupDelSistema|backup]] di tutti i propri dati prima di procedere.''' || Si raccomanda di consultare le seguenti guide, qualora non si conoscano gli argomenti trattati: * [[Hardware/DispositiviPartizioni/Partizioni|Partizioni]]: per disporre delle nozioni necessarie per identificare le partizioni; * [[Hardware/DispositiviPartizioni/PartizionamentoManuale|Partizionamento manuale]]: per conoscere l'utilizzo del programma '''GParted'''; * [[Hardware/DispositiviPartizioni/MontarePartizioni|Montare partizioni]]: per sapere come montare una partizione da [[AmministrazioneSistema/Terminale|riga di comando]]. |
| Linea 20: | Linea 31: |
| == The Guide == | = Verifica 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. | La partizione che ospiterà la cartella `/home` dovrà essere sempre maggiore alla cartella stessa. |
| Linea 24: | Linea 35: |
| == Setup Partitions == | == Verifica spazio utilizzato directory /home == |
| 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. | Digitare nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{ du -kshP /home }}} L'output sarà simile al seguente: {{{ 1,3G /home }}} |
| Linea 28: | Linea 44: |
| === Find the uuid of the Partition === | ||<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. È consigliabile lasciare almeno 4GiB / 5GiB di spazio libero.|| |
| Linea 30: | Linea 46: |
| The uuid reference to all partitions get to a command-line to try this | == Verifica dimensione partizioni == |
| Linea 32: | Linea 48: |
| {{{sudo blkid }}} {{{ }}} |
Verificare la dimensione delle proprie partizioni digitando il seguente comando in un [[AmministrazioneSistema/Terminale|terminale]]: {{{ df -h }}} L'output sarà simile al seguente: {{{ File system Dim. Usati Disp. Uso% Montato su /dev/sda1 18G 4,4G 13G 26% / }}} |
| Linea 35: | Linea 56: |
| Alternatively, for some older releases of Ubuntu the "blkid" command might not work so this could be used instead | = Modifica delle partizioni = |
| Linea 37: | Linea 58: |
| {{{ sudo vol_id -u <partition> | 0. Creare dello spazio libero sul disco ridimensionando la partizione desiderata; 0. Creare nello spazio liberato una partizione '''`/home`''' formattandola con lo stesso file system utilizzato per '''`/`'''. |
| Linea 39: | Linea 61: |
| for example | = Copia della /home = |
| Linea 41: | Linea 63: |
| {{{ sudo vol_id -u /dev/sda3 | 0. Per [[Hardware/DispositiviPartizioni/MontarePartizioni|montare]] la partizione appena creata, digitare il seguente comando nel [[AmministrazioneSistema/Terminale|terminale]]:{{{ sudo mkdir /media/home && sudo mount /dev/sdxx /media/home }}} mettendo al posto di `sdxx` il nome della propria partizione. 0. Copiare la vecchia '''`/home`''' nella nuova posizione digitando il seguente comando nel [[AmministrazioneSistema/Terminale|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. 0. Verificare che la dimensione della '''`/home`''' originale e della sua copia coincidano confrontando i comandi {{{ df -h /home}}} e {{{ df -h /media/home }}} |
| Linea 43: | Linea 74: |
| 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. | = Modificare /etc/fstab/ = |
| Linea 45: | Linea 76: |
| == Setup Fstab == | 0. Ricavare l'UUID della partizione in cui è stata copiata la `/home` digitando il seguente comando in un [[AmministrazioneSistema/Terminale|terminale]] {{{ sudo blkid /dev/sdxx }}} sostituendo `sdxx` con il nome della propria partizione. 0. Il comando restituirà un output simile al seguente: {{{ /dev/sda8: UUID="41800cf0-acb6-4845-b05e-479e9258f25f" TYPE="ext4" }}} 0. Copiare la stringa appena ottenuta, ad esempio {{{ 41800cf0-acb6-4845-b05e-479e9258f25f }}} 0. Creare una copia di backup di `/etc/fstab`: {{{ sudo cp /etc/fstab /etc/fstab.backup }}} 0. Aprire il file `/etc/fstab` con un [[Ufficio/EditorDiTesto|editor di testo]] e con i [[AmministrazioneSistema/PermessiFile|privilegi di amministrazione]]. 0. In una nuova riga inserire: {{{ UUID=uid /home ext4 defaults 0 2 }}} sostituendo `uid` con l'UUID individuato in precedenza. 0. Salvare, chiudere il file e riavviare il sistema. |
| Linea 47: | Linea 94: |
| These commands should; | = Verifica = |
| Linea 49: | Linea 96: |
| 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. |
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 53: | Linea 112: |
| 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. | = Risoluzione di problemi = |
| Linea 55: | Linea 114: |
| {{{ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) cmp /etc/fstab /etc/fstab.$(date +%Y-%m-%d) gksu gedit /etc/fstab |
Se la procedura non dovesse aver avuto esito positivo, durante il boot del sistema ci si ritroverà di fronte ad un messaggio di errore simile al seguente: {{{ L'unità disco per /home non è ancora pronta o non è presente }}} |
| Linea 59: | Linea 118: |
| and add these lines into it | Per risolvere il problema premere il tasto '''M''' sulla tastiera. Comparirà quindi una [[AmministrazioneSistema/Terminale|shell]] di ripristino. A questo punto: |
| Linea 61: | Linea 120: |
| {{{ # (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /media/home ext3 nodev,nosuid 0 2 |
0. Digitare il comando {{{ cp -f /etc/fstab.backup /etc/fstab }}} per ripristinare il file `/etc/fstab` originale 0. 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 64: | Linea 128: |
| Replace???????? with the UUID number of the intended /home partition. | Pertanto sarà possibile, a seconda dei casi, effettuare le verifiche al sistema per individuare la causa dell'errore oppure ripristinare la situazione precedente. |
| Linea 66: | Linea 130: |
| 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: | = Eliminare i contenuti della vecchia /home = |
| Linea 68: | Linea 132: |
| {{{ sudo mkdir /media/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 un [[Installazione/InstallareUbuntu#Creazione_del_supporto_di_installazione|DVD o USB live]]'''. |
| Linea 70: | Linea 134: |
| Now, mount the partition with: | = Ulteriori risorse = |
| Linea 72: | Linea 136: |
| {{{ sudo mount -a | * [[http://perfab.wordpress.com/2010/03/06/separare-la-home-da-ubuntu/|Separare la home da Ubuntu]] * [[https://help.ubuntu.com/community/Partitioning/Home/Moving|Guida sul wiki internazionale]] |
| Linea 74: | Linea 139: |
| 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 ## da questo punto in poi non modificare! |
|
| Linea 130: | Linea 140: |
| CategoryNuoviDocumenti | CategoryHardware |
Indice
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.
Prerequisiti
|
È consigliabile eseguire una copia di backup di tutti i propri dati prima di procedere. |
Si raccomanda di consultare le seguenti guide, qualora non si conoscano gli argomenti trattati:
Partizioni: per disporre delle nozioni necessarie per identificare le partizioni;
Partizionamento manuale: per conoscere l'utilizzo del programma GParted;
Montare partizioni: 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
Digitare nel terminale il comando:
du -kshP /home
L'output sarà simile al seguente:
1,3G /home
|
Attribuire alla partizione /home una dimensione appropriata affinché lo spazio non risulti insufficiente rispetto alle proprie esigenze. È consigliabile lasciare almeno 4GiB / 5GiB di spazio libero. |
Verifica dimensione partizioni
Verificare la dimensione delle proprie partizioni digitando il seguente comando in un terminale:
df -h
L'output 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 /.
Copia della /home
Per montare la partizione appena creata, digitare il seguente comando nel terminale:
sudo mkdir /media/home && sudo mount /dev/sdxx /media/home
mettendo al posto di sdxx il nome della propria partizione.
Copiare la vecchia /home nella nuova posizione digitando il seguente comando nel 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 un 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
Aprire il file /etc/fstab con un editor di testo e con i privilegi di amministrazione.
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.
Risoluzione di problemi
Se la procedura non dovesse aver avuto esito positivo, durante il boot del sistema ci si ritroverà di fronte ad un messaggio di errore simile al seguente:
L'unità disco per /home non è ancora pronta o non è presente
Per risolvere il problema premere il tasto M sulla tastiera. Comparirà quindi una shell di ripristino. A questo punto:
Digitare 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.
Pertanto sarà possibile, a seconda dei casi, effettuare le verifiche al sistema per individuare la causa dell'errore oppure ripristinare la situazione precedente.
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 un DVD o USB live.
Ulteriori risorse
