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
_______________________________________________
Pkg-sysvinit-devel mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-sysvinit-devel