------- Comment From <email address hidden> 2016-03-16 13:05 EDT------- The (hopefully) last fix is available on grub-installer_1.128ubuntu5:
if mdadm --detail --verbose $disc_offered \ | sed -n 's:.*\(/dev/.*[^0-9]\)[0-9]\+$:\1:p' \
------- Comment From <email address hidden> 2016-03-16 13:05 EDT------- 1.128ubuntu5:
The (hopefully) last fix is available on grub-installer_
if mdadm --detail --verbose $disc_offered \ /dev/.* [^0-9]\ )[0-9]\ +$:\1:p' \
| sed -n 's:.*\(