=== modified file 'util/grub-mkconfig.in' --- old/util/grub-mkconfig.in 2011-07-07 21:52:58 +0000 +++ new/util/grub-mkconfig.in 2011-07-09 21:08:25 +0000 @@ -257,7 +257,8 @@ GRUB_INIT_TUNE \ GRUB_SAVEDEFAULT \ GRUB_ENABLE_CRYPTODISK \ - GRUB_BADRAM + GRUB_BADRAM \ + GRUB_SKIP_PARTITIONS if test "x${grub_cfg}" != "x"; then rm -f ${grub_cfg}.new === modified file 'util/grub.d/30_os-prober.in' --- old/util/grub.d/30_os-prober.in 2011-07-02 19:22:19 +0000 +++ new/util/grub.d/30_os-prober.in 2011-07-11 20:13:04 +0000 @@ -94,6 +94,12 @@ LONGNAME="`echo ${OS} | cut -d ':' -f 2 | tr '^' ' '`" LABEL="`echo ${OS} | cut -d ':' -f 3 | tr '^' ' '`" BOOT="`echo ${OS} | cut -d ':' -f 4`" + UUID="`grub-probe --target=fs_uuid --device ${DEVICE}`" + + if [ "x${GRUB_SKIP_PARTITIONS}" != "x" -a "x`echo ${GRUB_SKIP_PARTITIONS} | grep -i -e '\b'${UUID}'\b'`" != "x" ] ; then + echo "Skipped ${LONGNAME} on ${DEVICE} by user request." >&2 + continue + fi if [ -z "${LONGNAME}" ] ; then LONGNAME="${LABEL}"