config is in gdm3 3.28.0-0ubuntu1.
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 | #!/bin/sh
# Debian gdm package configuration 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
THIS_PACKAGE=gdm3
DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
# set default display manager
# On upgrade from < artful or new installs, suppress the display manager
# selection prompt if any user uses the Ubuntu session, and the previously
# configured display manager was lightdm.
# Remove this after 18.04 LTS.
TRANSITION=false
if [ "$1" = "configure" ] &&
dpkg --compare-versions "$2" lt "3.24.2-1ubuntu7~" &&
grep -qs /usr/sbin/lightdm $DEFAULT_DISPLAY_MANAGER_FILE; then
for file in /var/lib/AccountsService/users/*; do
if grep -qs XSession=ubuntu $file; then
TRANSITION=true
fi
done
fi
db_get shared/default-x-display-manager
OLD_DEFAULT="$RET"
db_metaget shared/default-x-display-manager owners
OWNERS="$RET"
db_metaget shared/default-x-display-manager choices
CHOICES="$RET"
if [ "$OWNERS" != "$CHOICES" ]; then
db_subst shared/default-x-display-manager choices $OWNERS
db_fset shared/default-x-display-manager seen false
fi
# Remove this "true" branch after 18.04 LTS.
if [ "$TRANSITION" = true ]; then
db_set shared/default-x-display-manager gdm3
db_fset shared/default-x-display-manager seen true
else
db_input high shared/default-x-display-manager || true
db_go
fi
# using this display manager?
db_get shared/default-x-display-manager
CURRENT_DEFAULT="$RET"
# set a flag to indicate to postinst that we need to update from debconf
if [ "$OLD_DEFAULT" != "$CURRENT_DEFAULT" ]; then
DEFAULT_DISPLAY_MANAGER_DIR=$(dirname $DEFAULT_DISPLAY_MANAGER_FILE)
test -e $DEFAULT_DISPLAY_MANAGER_DIR || mkdir -p $DEFAULT_DISPLAY_MANAGER_DIR
touch $DEFAULT_DISPLAY_MANAGER_FILE.debconf-update
fi
exit 0
|