#! /bin/sh
# This script cleans up /etc/driver_alias. 
#
#
remove_entries()
{
        sed -e '/^glm "pci1000,20"$/d' \
            -e '/^glm "pci1000,21"*$/d'
}

remove_entries < /etc/driver_aliases > /tmp/drv.$$.tmp
cp /tmp/drv.$$.tmp /etc/driver_aliases
rm -f /tmp/drv.$$.tmp

exit 0
