config is in playmidi 2.4debian-10.
This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | #!/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
|