1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/bin/sh
set -e
. /usr/share/debconf/confmodule
DEFAULT_FILE="/etc/default/mini-buildd"
# Honor manual changes from the default file
if [ -e "${DEFAULT_FILE}" ]; then
. "${DEFAULT_FILE}" || true
[ -z "${MINI_BUILDD_OPTIONS}" ] || db_set mini-buildd/options "${MINI_BUILDD_OPTIONS}"
[ -z "${PYTHONWARNINGS}" ] || db_set mini-buildd/pythonwarnings "${PYTHONWARNINGS}"
fi
if getent passwd mini-buildd >/dev/null; then
# Always sync the debconf "home" value with actual home of an existing mini-buildd user
# Otherwise, unwanted 'usermod --move' may happen in the postinstall.
# See: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774078
MINI_BUILDD_HOME="$(getent passwd mini-buildd | cut -d: -f6)"
db_set mini-buildd/home "${MINI_BUILDD_HOME}"
fi
# User interaction
db_input medium mini-buildd/home || true
db_input critical mini-buildd/admin_password || true
db_input medium mini-buildd/options || true
db_input low mini-buildd/pythonwarnings || true
db_input high mini-buildd/note || true
db_go || true
|
