chiark / gitweb /
9288e1b69991c30b0101d4451f1a6f3598898b9f
[runlisp] / debian / runlisp.postinst
1 #! /bin/sh -e
2
3 . /usr/share/debconf/confmodule
4
5 db_get runlisp/dump-custom-images
6 mode=$RET
7
8 { echo ";;; -*-conf-*-"; echo
9   case $mode in
10     select)
11       db_get runlisp/selected-implementations
12       echo "dump = $RET"
13       ;;
14   esac
15 } >/etc/runlisp/runlisp.d/8debconf.new
16 mv /etc/runlisp/runlisp.d/8debconf.new /etc/runlisp/runlisp.d/8debconf
17
18 case $mode in
19   none) ;;
20   *) dump-runlisp-image -aiRU ;;
21 esac
22
23 #DEBHELPER#