| Server IP : 104.21.84.107 / Your IP : 104.23.197.209 Web Server : Apache/2.4.63 (Ubuntu) System : Linux adminpruebas-Virtual-Machine 6.14.0-37-generic #37-Ubuntu SMP PREEMPT_DYNAMIC Fri Nov 14 22:10:32 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 8.4.5 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /var/lib/dpkg/info/ |
Upload File : |
#!/bin/sh # Debian gdm package configuration script # Copyright 2000-2001 Branden Robinson. # Licensed under the GNU General Public License, version 2. See the file # /usr/share/common-licenses/GPL or <http://www.gnu.org/copyleft/gpl.txt>. set -e # source debconf library . /usr/share/debconf/confmodule THIS_PACKAGE=gdm3 DEFAULT_DISPLAY_MANAGER_FILE=/etc/X11/default-display-manager # set default display manager db_get shared/default-x-display-manager OLD_DEFAULT="$RET" db_metaget shared/default-x-display-manager owners OWNERS="$RET" db_metaget shared/default-x-display-manager choices CHOICES="$RET" if [ "$OWNERS" != "$CHOICES" ]; then db_subst shared/default-x-display-manager choices $OWNERS db_fset shared/default-x-display-manager seen false fi db_input high shared/default-x-display-manager || true db_go # using this display manager? db_get shared/default-x-display-manager CURRENT_DEFAULT="$RET" # set a flag to indicate to postinst that we need to update from debconf if [ "$OLD_DEFAULT" != "$CURRENT_DEFAULT" ]; then DEFAULT_DISPLAY_MANAGER_DIR=$(dirname $DEFAULT_DISPLAY_MANAGER_FILE) test -e $DEFAULT_DISPLAY_MANAGER_DIR || mkdir -p $DEFAULT_DISPLAY_MANAGER_DIR touch $DEFAULT_DISPLAY_MANAGER_FILE.debconf-update fi exit 0