#!/bin/sh
set -e

if [ "$1" = "configure" ]
then
    CFG=/etc/pcmcia.conf
    if [ -f $CFG ] ; then . $CFG ; fi
    if [ "$PCMCIA" != "yes" ] && PCIC=`/sbin/probe -m`
    then
	echo PCMCIA=yes > $CFG
	echo PCIC="$PCIC" >> $CFG
	echo PCIC_OPTS= >> $CFG
	echo CORE_OPTS= >> $CFG
	echo CARDMGR_OPTS= >> $CFG
    fi
    CONF=/etc/conf.modules
    grep -qs path $CONF || echo keep >> $CONF
    grep -q pcmcia $CONF || echo >> $CONF \
	'path[pcmcia]=/lib/modules/`uname -r`'
    depmod -a
    update-rc.d pcmcia defaults 13 87 >/dev/null
fi
