diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/kexec-tools.config | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/kexec-tools.config b/debian/kexec-tools.config new file mode 100644 index 0000000..4ccee75 --- /dev/null +++ b/debian/kexec-tools.config @@ -0,0 +1,23 @@ +#!/bin/sh -e +CONFFILE=/etc/default/kexec + +# Source debconf library. +. /usr/share/debconf/confmodule + +CONFIG_MODE="" + +if test -e "$CONFFILE"; then + . "$CONFFILE" + + # Guard against admin writing silly things into the + # config file... + if test "$USE_GRUB_CONFIG" != "true" ; then + db_set kexec-tools/use_grub_config "false" + else + db_set kexec-tools/use_grub_config "true" + fi +fi + +# Setup and select the configuration mode +db_input medium kexec-tools/use_grub_config || true +db_go |