blob: 638d7681c81b7df23121d3de5faaf38910b07b7c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#! /bin/sh
# This script allows the extension to skip grub's timeout when rebooting
set -e
cat << EOF
if [ ! -z "\${boot_once}" ] ; then
set timeout_style=hidden
set timeout=0
fi
EOF
|