Miscellany

basename "$(cat $DEFAULT_DISPLAY_MANAGER_FILE 2> /dev/null)"
cat $DEFAULT_DISPLAY_MANAGER_FILE 2> /dev/null
+++ cat /etc/X11/default-display-manager
++ basename /usr/sbin/gdm
+ CONFIGURED_DAEMON=gdm
+ '[' -e /etc/X11/default-display-manager ']'
+ '[' true = true ']'
+ '[' gdm '!=' gdm ']'
+ log_daemon_msg 'Starting GNOME Display Manager' gdm
+ '[' -z 'Starting GNOME Display Manager' ']'
+ '[' -z gdm ']'
+ echo -n 'Starting GNOME Display Manager: gdm'
Starting GNOME Display Manager: gdm+ pidof splashy
+ case $2 in
+ stop_splashy
+ STEPS_DIR=/lib/init/rw/splashy
+ SPL_UPD=/sbin/splashy_update
+ '[' -r /etc/default/splashy ']'
+ . /etc/default/splashy
# Splashy options
# To change Splashy's theme run "splashy_config". See "man splashy_config"

# splashy can be enabled by adding splash to your kernel's command line

# Directory where Splashy will write files during boot (It will be created if doesn't exist)
# defaults to: /lib/init/rw/splashy
#STEPS_DIR=/lib/splashy/rw

# Splashy will switch to this TTY after finishing at boot
# gdm/kdm/xdm should switch to 7 automatically. Splashy should exit before them
CHVT_TTY=
++ CHVT_TTY=

# Set to "1" to allow Splashy to be put inside initramfs
# Remember to run "update-initramfs" and read the README file carefully
ENABLE_INITRAMFS=1
++ ENABLE_INITRAMFS=1

# Enable/disable debug mode, use with extreme caution! See README.scripts
DEBUG=0
++ DEBUG=0

+ pidof splashy
+ '[' '!' -d /lib/init/rw/splashy ']'
+ '[' x0 '!=' x0 ']'
+ sleep 0.2
pidof splashy > /dev/null
++ pidof splashy
+ '[' -z '' ']'
+ '[' -x /etc/init.d/keymap.sh -a -f /dev/shm/splashy-stopped-keymap ']'
+ '[' -x /etc/init.d/console-screen.sh -a -f /dev/shm/splashy-stopped-console-screen ']'
+ '[' x0 = x0 ']'
+ mount
+ grep /lib/init/rw/splashy