4 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
6 if [[ $EUID != 0 ]]; then
7 echo "$0: error: expected to be root."
13 cat >$FAI_ROOT/etc
/grub.d
/40_custom
<<EOF
16 # This file provides an easy way to add custom menu entries. Simply type the
17 # menu entries you want to add after this comment. Be careful not to change
18 # the 'exec tail' line above.
20 # https://www.coreboot.org/Serial_console # tty
21 # but removed unneeded stuff
24 terminal_input --append serial
25 terminal_output --append serial