I should not forget to say that this script *depends* on the patch I sent in for
grub-probe in my previous mail.
#! /bin/sh -e
# update-grub helper script.
# Copyright (C) 2006,2007,2008 Free Software Foundation, Inc.
#
# GRUB is free software: you can redistribute it and/or modify
# it under
The following is a script that should be installed into `/etc/grub.d/os-prober'.
It uses Debian's `os-prober' package (if installed) to detect other operating
systems which are installed on the computer and add them to the boot menu. It's
up to you to decide if this is too Debian-specific or if yo
