File: config

package info (click to toggle)
playmidi 2.4debian-17
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 828 kB
  • sloc: ansic: 3,691; makefile: 120; sh: 57; sed: 2
file content (19 lines) | stat: -rw-r--r-- 406 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#!/bin/sh

set -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