config is in lightdm 1.18.3-0ubuntu1.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 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 | #!/bin/sh
# Debian lightdm package configuration script
# based on xdm script
# Copyright 2000-2001 Branden Robinson.
# Licensed under the GNU General Public License, version 2. See the file
# /usr/share/common-licenses/GPL or <http://www.gnu.org/copyleft/gpl.txt>.
set -e
# source debconf library
. /usr/share/debconf/confmodule
# set default display manager
DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
OWNERS=
if db_metaget shared/default-x-display-manager owners; then
OWNERS="$RET"
fi
CHOICES=
if db_metaget shared/default-x-display-manager choices; then
CHOICES="$RET"
fi
if [ "$OWNERS" != "$CHOICES" ]; then
db_subst shared/default-x-display-manager choices "$OWNERS" || :
db_fset shared/default-x-display-manager seen false || :
fi
# debconf is not a registry; use the current contents of the default display
# manager file to pre-answer the question if possible
if [ -e "$DEFAULT_DISPLAY_MANAGER_FILE" ]; then
CURRENT_DEFAULT=$(basename "$(grep -v '^[[:space:]]*#' \
"$DEFAULT_DISPLAY_MANAGER_FILE" |
head -n 1)")
if [ -n "$CURRENT_DEFAULT" ]; then
db_set shared/default-x-display-manager "$CURRENT_DEFAULT"
fi
else
CURRENT_DEFAULT=
if db_get shared/default-x-display-manager; then
CURRENT_DEFAULT="$RET"
fi
fi
# when installing from scratch as part of a release upgrade, default to
# lightdm, otherwise ask
if [ -z "$2" -a -n "$RELEASE_UPGRADE_IN_PROGRESS" ]; then
db_set shared/default-x-display-manager lightdm
db_fset shared/default-x-display-manager seen true
else
db_input high shared/default-x-display-manager || :
db_go || :
fi
# using this display manager?
NEW_DEFAULT=
if db_get shared/default-x-display-manager; then
NEW_DEFAULT="$RET"
fi
# move the default display manager file if we are going to change it
if [ -n "$NEW_DEFAULT" ]; then
if [ "$NEW_DEFAULT" != "$CURRENT_DEFAULT" ]; then
if [ -e "$DEFAULT_DISPLAY_MANAGER_FILE" ]; then
mv "$DEFAULT_DISPLAY_MANAGER_FILE" \
"${DEFAULT_DISPLAY_MANAGER_FILE}.dpkg-tmp"
fi
fi
fi
|