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