diff options
Diffstat (limited to 'packages/psplash/files/psplash-init')
-rw-r--r-- | packages/psplash/files/psplash-init | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/packages/psplash/files/psplash-init b/packages/psplash/files/psplash-init index 7796a79064..a4fb1dc7d1 100644 --- a/packages/psplash/files/psplash-init +++ b/packages/psplash/files/psplash-init @@ -1,13 +1,9 @@ #!/bin/sh -for x in $(cat /proc/cmdline); do - case $x in - psplash=false) - echo "Boot splashscreen disabled" - exit 0; - ;; - esac -done +if grep -qE '\s?psplash=false\s?' /proc/cmdline; then + echo "Boot splashscreen disabled" + exit 0; +fi . /etc/init.d/functions . /etc/default/psplash |