#!/bin/sh -e . /usr/share/debconf/confmodule options=`cat /etc/playmidi/playmidi.conf 2> /dev/null || true` if dpkg --compare-versions "$2" lt-nl 2.4-1; then # Pre-debconf compatibility. if [ "$options" != unconfigured ]; then db_set playmidi/options "$options" db_fset playmidi/options seen true fi else db_set playmidi/options "$options" fi db_input medium playmidi/options || true db_go