Separare la /home da / – Ubuntu

Su richiesta di patel 🙂 e con il supporto del topic seguito da Muflone su LQH riporto una breve guida per separare la /home dalla radice (/) integrata da alcune esperienze personali.

La procedura è valida sia in caso si voglia procedere su un’installazione già “operativa” sia che si voglia procedere alla separazione in fase di nuova installazione.

Riassumiamo brevente i vantaggi di avere una partizione dedicata per la nostra /home

• possibilità di preservare i nostri dati da eventuali malfunzionamenti del sistema
• possibilità di mantenere le impostazioni dei programmi installati in caso di necessità di nuova installazione/avanzamento di versione
• possibilità di tenere maggiormente sotto controllo le dimensioni delle due “entità” (/home e /)

C’è da specificare che la /home separata contiene le configurazioni dei programmi installati ma che, in caso di installazione/avanzamento di versione gli stessi andranno prima reinstallati, e poi ce li troveremo già configurati.

Diverse le scuole di pensiero riguardo i vantaggi/svantaggi del procedere in tal senso; alcuni si trovano bene creando un’unica partizione io personalmente preferisco separarle.

Vediamo le due diverse procedure:

Sistema installato su unica partizione (oltre swap)

Creare lo spazio adatto per ospitare la nostra nuova /home; se si hanno a disposizione altre partizioni montate in /media/dati, /media/musica o altro sono sufficienti pochi GB e possiamo spostare i dati, le foto e la musica o quant’altro sulle altre partizioni, altrimenti bisogna regolarsi in base alla quantità di dati che abbiamo già nella vecchia /home

strumento ideale per procedere tramite interfaccia grafica è gparted; se non lo abbiamo già installato

sudo apt-get install gparted

è preferibile formattare la partizione con lo stesso tipo di filesystem della / (ext3 o ext4).

Montiamo temporaneamente la partizione in /media

sudo mount /media/home

poi procediamo con la copia della vecchia /home nella sua nuova “casa”

sudo cp -av /home/nomeutente /media/home

sostituendo, ovviamente, a nomeutente il nome dell’utente in uso.

Lasciamo terminare il processo di copia, poi attribuiamo i relativi permessi con

sudo chown $(id -u) /media/home/nomeutente

Attenzione: non toccare ancora la vecchia /home; verifichiamo prima che tutto vada a posto per poi procedere con il liberare lo spazio.

Fatto questo dobbiamo inserire l ‘UUID corretto della partizione in fstab per fare in modo che la /home venga montata automaticamente ad ogni avvio

Verifichimo prima qual’è la nostra partizione (sda1, sda2 o sdb1, sdb2 ecc) con

df -h /media/home

poi identifichiamone l’UUID con

sudo blkid /dev/sdaX

sostituendo a X il numero corretto; ci esce una riga tipo questa:

/dev/sdaX: UUID="82f73517-ce1f-433c-b761-5f0b7e64c3b2" TYPE="ext4"

prendiamo nota del codice alfanumerico (nell’esempio 82f73517-ce1f-433c-b761-5f0b7e64c3b2) o, ancora meglio, facciamo un tasto destro → copia

poi apriamo il nostro fstab con

sudo gedit /etc/fstab

e andiamo ad inserire la seguente riga:

UUID=82f73517-ce1f-433c-b761-5f0b7e64c3b2 /home ext4 relatime 0 2

Attenzione: se si è ricavato lo spazio per la nuova /home ridimensionando o spostando  altre partizioni già presenti è conveniente ricontrollare gli UUID delle stesse tramite il comando:

sudo blkid

e verificando la corrispondenza del dato riportato in fstab.

In particolare, se si è operato sulla swap considerate anche l’eventualità che si presentino altri problemini risolvibili come riportato qui .

smontiamo la partizione dal punto di mount /media

sudo umount /media/home

e montiamo la /home con

sudo mount /home

al riavvio dovremmo trovare la nuova /home perfettamente funzionante e con tutti i nostri dati; in questo caso possiamo procedere alla rimozione della vecchia /home presente all’interno della partizione di /

L’operazione di eliminazione va fatta da CD Live montando la partizione di / e prestando attenzione a non cancellare nulla al di fuori della /home; l’operazione non può essere fatta direttamente dalla installazione di Ubuntu perchè il sistema punta direttamente alla “nuova” /home.

Nuova installazione e contestuale separazione della /home

La procedura è simile.

Possiamo creare la partizione per la /home con la procedura appena descritta e selezionare di non formattare la /home in fase di installazione avendo, però, l’accortezza di indicare il punto di mount.

Oppure copiare la /home su supporto esterno e poi sovrascrivere la partizione /home appena creata dalla nuova installazione con i dati che abbiamo salvato sul supporto esterno.

per ogni dubbio: