File: config

package info (click to toggle)
playmidi 2.4debian-3
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 504 kB
  • ctags: 634
  • sloc: ansic: 3,673; makefile: 173; sh: 21; sed: 2
file content (17 lines) | stat: -rw-r--r-- 401 bytes parent folder | download | duplicates (8) 
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