Intro
Nei giorni scorsi stavo scaricando una nuova distro su uno dei pc che utilizzo per gli esperimenti, quando, improvvisamente è apparso l'al
Confesso che non c'ero più abituato. Le mostruose capacità degli hard disk odierni (che riusciamo egualmente a riempire - a volte c'è anche da chiedersi di cosa) tendono a farci scordare quanto possano incidere pochi Giga in sistemi più datati.
Sono così stato costretto a "ricordarmi" che, in effetti, il povero vecchio pc (che pure fa la sua parte come server) aveva un hard disk che, per gli standard di oggi, può essere definito miserello. Sperimenta oggi, sperimenta domani, ho finito per occuparlo tutto.
Che fare? La cosa più ovvia poteva sembrare quella di aggiungere un secondo hard disk da usare come deposito. Ma ho considerato che questo non avrebbe risolto il problema a lungo. La home di questo pc, infatti, contiene i dati di vari utenti (thin client) e avrebbe comunque finito col riempirsi assai presto. Ecco all'ora l'idea di spostare la home da un'altra parte, sul secondo hard disk, appunto. Tra l'altro (salvo nei casi in cui la home sia già installata su una partizione separata), lo spostamento della home libera automaticamente spazio anche per il sistema operativo, i programmi, etc.
L'unico dubbio (una volta eseguito il backup) era la praticabilità dell'operazione in tempi relativamente brevi.
Caccia su internet e soluzione trovata.
Premessa
L'operazione può essere eseguita in varie modalità. Quella descritta di seguito sfrutta le peculiarità del file system di Linux (in questo caso ext3) che permette di montare dischi, dispositivi e partizioni come fossero cartelle.
Questa mini-guida non è tutta farina del mio sacco, anzi: mi sono limitato a ricostruire la giusta sequenza estrapolandola da un carteggio trovato in un forum, ad eliminare alcuni refusi e un paio di errori (banali, ma determinanti), a riscrivere il testo in un Italiano comprensibile e, infine, a testare la validità della procedura.
Ho effettuato la prova su una Ubuntu 8.04 (server LTSP), "spostando" la home dalla partizione del file system (8GB totali) ad una partizione separata (12GB per la sola home), collocata in un altro disco.
Giudizio sull'operazione: funziona, è abbastanza facile da eseguire ed è piuttosto rapida.
|
Preparazione | |
| a) |
Preparate/create la partizione nella quale spostare la cartella home. |
| b) |
Il resto dell'operazione si effettua da console. |
|
c) |
E' consigliabile eseguire la procedura senza interfaccia grafica. |
|
Ci sono vari modi per eseguire i passi b) e c) | |
|
Procedura | |
|
1) |
Create una directory (spesso indicata anche come cartella) temporanea "/Tmp" (attenzione a maiuscole e minuscole) e montatevi temporaneamente la nuova partizione: |
|
2) |
Ora che Tmp contiene la vostra nuova partizione, |
|
3) |
Una volta completata la copia, rinominate la vecchia directory home |
|
4) |
Create una nuova directory home |
|
5) |
Smontate la directory temporanea e rimontate la nuova partizione nella nuova home |
|
6) |
Controllate che le dimensioni della nuova e della vecchia home coincidano. |
|
7) |
Fate una copia di sicurezza di fstab (il file che indica i dispositivi che devono essere montati, con le rispettive opzioni): |
|
8) |
Aprite fstab con un editor (in questo caso "nano"): |
|
9) |
Riavviate normalmente: |
|
10) |
Fate delle prove (non abbiate fretta). |
Sono convinto ci siano modi più eleganti per compiere la stessa operazione.
Indicateli, se li conoscete.
Per cortesia, segnalate eventuali errori: correggendoli offriremo un miglior supporto ad altri utenti.
Joris Rossi
