← Back to branch summary

~darkxst/ubuntu/saucy/gdm/lp1212408

« back to all changes in this revision

Viewing changes to debian/prerm

  • 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/prerm
1
 
#!/bin/bash
2
 
# Debian gdm package pre-removal script
3
 
# Copyright 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
 
# Acknowlegements to Stephen Early, Mark Eichin, and Manoj Srivastava.
7
 
 
8
 
set -e
9
 
 
10
 
THIS_PACKAGE=gdm
11
 
DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager
12
 
 
13
 
if [ "$1" = "remove" -o "$1" = "deconfigure" ]; then
14
 
  if [ -e /usr/share/debconf/confmodule ]; then
15
 
    . /usr/share/debconf/confmodule
16
 
    # disown this question
17
 
    db_unregister shared/default-x-display-manager || true
18
 
    # does the question still exist?
19
 
    if db_get shared/default-x-display-manager; then
20
 
      db_metaget shared/default-x-display-manager owners
21
 
      db_subst shared/default-x-display-manager choices "$RET"
22
 
      db_get shared/default-x-display-manager
23
 
      # are we removing the currently selected display manager?
24
 
      if [ "$THIS_PACKAGE" = "$RET" ]; then
25
 
        if [ -e "$DEFAULT_DISPLAY_MANAGER_FILE" ]; then
26
 
          db_get "$RET"/daemon_name
27
 
          if [ "$(cat $DEFAULT_DISPLAY_MANAGER_FILE)" = "$RET" ]; then
28
 
            rm "$DEFAULT_DISPLAY_MANAGER_FILE"
29
 
          fi
30
 
        fi
31
 
        # ask the user to choose a new default
32
 
        db_fset shared/default-x-display-manager seen false
33
 
        db_input critical shared/default-x-display-manager || true
34
 
        db_go
35
 
        # if the display manager file doesn't exist, write it with the path
36
 
        # to the new default display manager
37
 
        if [ ! -e $DEFAULT_DISPLAY_MANAGER_FILE ]; then
38
 
          db_get shared/default-x-display-manager
39
 
          echo "Please be sure to run \"dpkg-reconfigure $RET\"."
40
 
          db_get "$RET"/daemon_name
41
 
          echo "$RET" > "$DEFAULT_DISPLAY_MANAGER_FILE"
42
 
        fi
43
 
      fi
44
 
    fi
45
 
  fi
46
 
fi
47
 
 
48
 
if [ "$1" = "remove" ]; then
49
 
  if [ -x /etc/init.d/gdm ]; then
50
 
    nostop=
51
 
    for hostname in "" "localhost" "$(hostname)" "$(hostname -f)"; do
52
 
      if echo $DISPLAY | grep -q "^$hostname:0.*"; then
53
 
        nostop=yes
54
 
      fi
55
 
    done
56
 
    if [ -z $nostop ]; then
57
 
      invoke-rc.d gdm stop
58
 
    fi
59
 
  fi
60
 
fi
61
 
 
62
 
#DEBHELPER#
63
 
 
64
 
exit 0