Hi :-)
I successfully solved the issue by:
1. setting label (tune2fs -L root /dev/...) for root fs
2. patching /etc/grub.d/10_linux using the small patch in
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=542170
3. adding GRUB_ENABLE_LINUX_LABEL=true to /etc/default/grub
4. running update-grub and rebooting
Now df shows the much shorter "/dev/disk/by-label/root" :-)
Regards,
Ognyan Kulev
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
