This file is indexed.

config is in playmidi 2.4debian-9.1.

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