Kölcsönubuntun kellett orvosolni a kinőtt root partíció esetét. A dolog csak azért volt veszélyes, mert elég hirtelen megoldást igényelt idő hiányában (apt-get clean és társai nem segítettek már), kapkodva dolgozni pedig...
Szerencsére(?) /home, /boot és / külön partíción voltak.
Röviden:
-- helyteremtés (
gksudo gparted
megteszi)
-- mentés [ez a legfontosabb lépés]
-- livecd-vel boot, majd régi és új partíciók mountolása
-- új helyre másolás (pl.
sudo cp -v-d-R-pall /mnt/regi/* /mnt/uj
)[régi szép időkben még bonyolítottuk tar+|+gz ill. dd,rsync megoldásokkal is ha a sors úgy hozta, de itt most - remélem - elég volt a sima copy]
-- umount régi ill. merevlemezpartíciók kivéve boot és az új root, majd az uuid-ek kiolvasása (
vol_id -u /dev/sda1
, de mivel lusta voltam egyesével lekérdezgetni a tíz partíciót, inkább a
blkid
parancsot használtam)
--
vi /mnt/uj/etc/fstab
és itt értelemszerűen a változtatásoknak megfelelően új uuid-et kellett megadni a régi / helyett a helyes mount érdekében
--
vi /mnt/boot/grub/menu.lst
és a megfelelő, immár új root partíciót megadni a bootolható kernelek soraiban
root=/dev/ujparticio
(:) és persze nem szabad hirtelen felindulásból a
root hd(0,1)
szekciókat piszkálni, hiszen azok esetünkben nem változtak, mivel szerencsére a /boot külön partíción volt eleve)