← Back to branch summary

~darkxst/ubuntu/saucy/gdm/lp1212408

« back to all changes in this revision

Viewing changes to debian/gdm.config

  • Committer: Bazaar Package Importer
  • Author(s): Josselin Mouette
  • Date: 2008-09-02 10:37:20 UTC
  • mfrom: (1.4.27 upstream)
  • mto: This revision was merged to the branch mainline in revision 261.
  • Revision ID: james.westby@ubuntu.com-20080902103720-p810vv530hqj45wg
Tags: 2.20.7-3
http://bugs.debian.org/497440
* Install the debian-moreblue-orbit theme, thanks Andre Luiz Rodrigues 
  Ferreira. Closes: #497440.
* 35_gdm.conf.patch: make it the default.
* copyright: fix encoding.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/gdm.config
 
1
#!/bin/sh
 
2
# Debian gdm package configuration script
 
3
# Copyright 2000-2001 Branden Robinson.
 
4
# Licensed under the GNU General Public License, version 2.  See the file
 
5
# /usr/share/common-licenses/GPL or <http://www.gnu.org/copyleft/gpl.txt>.
 
6
 
 
7
set -e
 
8
 
 
9
# source debconf library
 
10
. /usr/share/debconf/confmodule
 
11
 
 
12
THIS_PACKAGE=gdm
 
13
DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
 
14
 
 
15
# set default display manager
 
16
 
 
17
db_get shared/default-x-display-manager
 
18
OLD_DEFAULT="$RET"
 
19
 
 
20
db_metaget shared/default-x-display-manager owners
 
21
OWNERS="$RET"
 
22
db_metaget shared/default-x-display-manager choices
 
23
CHOICES="$RET"
 
24
 
 
25
if [ "$OWNERS" != "$CHOICES" ]; then
 
26
  db_subst shared/default-x-display-manager choices $OWNERS
 
27
  db_fset shared/default-x-display-manager seen false
 
28
fi
 
29
 
 
30
db_input high shared/default-x-display-manager || true
 
31
db_go
 
32
 
 
33
# using this display manager?
 
34
db_get shared/default-x-display-manager
 
35
CURRENT_DEFAULT="$RET"
 
36
# remove the default display manager file if we're going to change it
 
37
if [ "$OLD_DEFAULT" != "$CURRENT_DEFAULT" ]; then
 
38
  rm -f $DEFAULT_DISPLAY_MANAGER_FILE
 
39
fi
 
40
 
 
41
exit 0