* Paul Kocialkowski <cont...@paulk.fr> [2013-09-01 00:05]: > Running "udevadm trigger" brings the expected UUID, so I think there is > a problem somewhere in the partitioner tool since it doesn't > refresh /dev/disk/by-uuid after making an ext2 partition (but it > probably does it for ext3).
Thanks for your bug report, Paul. I investigated and put what I found into a bug report: http://bugs.debian.org/729445 -- Martin Michlmayr http://www.cyrius.com/ -- To UNSUBSCRIBE, email to debian-arm-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20131112234211.gh12...@jirafa.cyrius.com
