|
|
|
@ -8,13 +8,8 @@ set -e
|
|
|
|
|
# debconf is not a registry, so we only fiddle with the default file if it
|
|
|
|
|
# does not exist
|
|
|
|
|
DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
|
|
|
|
|
|
|
|
|
|
if [ -e "$DEFAULT_DISPLAY_MANAGER_FILE.dpkg-tmp" ]; then
|
|
|
|
|
cp -Rp "$DEFAULT_DISPLAY_MANAGER_FILE.dpkg-tmp" "$DEFAULT_DISPLAY_MANAGER_FILE"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ! -e "$DEFAULT_DISPLAY_MANAGER_FILE" ]; then
|
|
|
|
|
DEFAULT_DISPLAY_MANAGER=kdm-trinity
|
|
|
|
|
DEFAULT_DISPLAY_MANAGER=
|
|
|
|
|
if db_get shared/default-x-display-manager; then
|
|
|
|
|
DEFAULT_DISPLAY_MANAGER="$RET"
|
|
|
|
|
fi
|
|
|
|
|