3 killproc() { # kill the named process(es)
5 [ "$pid" != "" ] && kill $pid
8 if grep -qE '\s?psplash=false\s?' /proc/cmdline; then
9 echo "Boot splashscreen disabled"
13 . /etc/init.d/functions
14 . /etc/default/dotsplash
16 export TMPDIR=/mnt/.psplash
20 mount tmpfs -t tmpfs $TMPDIR -o,size=40k
21 /usr/bin/dotsplash $PARAMS &
23 # Timetrap against hanging with splash hiding console messages.
24 (sleep 60; dotsplash-write "QUIT"; sleep 1 ; killall dotsplash) &