home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / var / lib / dpkg / info / gdm.config < prev    next >
Encoding:
Text File  |  2007-04-10  |  1.1 KB  |  42 lines
  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
  42.