[134] | 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 | stop gdm || : |
---|
| 58 | fi |
---|
| 59 | fi |
---|
| 60 | fi |
---|
| 61 | |
---|
| 62 | #DEBHELPER# |
---|
| 63 | |
---|
| 64 | exit 0 |
---|