diff options
author | Guido Guenther <agx@sigxcpu.org> | 2006-11-18 23:48:07 +0100 |
---|---|---|
committer | Guido Guenther <agx@bogon.sigxcpu.org> | 2006-11-18 23:48:07 +0100 |
commit | d1e063beb43e595680c65e3804d1f8ddff53373b (patch) | |
tree | f7256dfe1b807920270ec5113df6f6e4abf1ed0f /debian/config |
Imported Debian version 0.3.8.80.3.8.8
Diffstat (limited to 'debian/config')
-rw-r--r-- | debian/config | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/config b/debian/config new file mode 100644 index 0000000..db1136d --- /dev/null +++ b/debian/config @@ -0,0 +1,17 @@ +#!/bin/sh -e +#$Id: config,v 1.1 2004/11/29 10:39:38 ladis Exp $ + +# Source debconf library. +. /usr/share/debconf/confmodule + +# Already seen? +db_fget arcboot/boot_device seen +if [ "$RET" = "false" ]; then + # what about devfs? + ROOTDEVICE=`mount | grep '[[:space:]]/[[:space:]]' | cut -d' ' -f 1` + BOOTDEVICE=`echo $ROOTDEVICE | sed 's/[12345678]*$//'` + db_set arcboot/boot_device $BOOTDEVICE +fi + +db_input medium arcboot/boot_device || true +db_go |