* util/grub.d/00_header.in: Remove compatibility with terminal.mod

prior to terminal_input/terminal_output separation. It's been over 1.5
	years and those versions weren't widely deployed.
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-07-21 06:44:38 +02:00
parent 697e053c44
commit 0ac33bf5eb
2 changed files with 8 additions and 10 deletions

View file

@ -137,11 +137,7 @@ case x${GRUB_TERMINAL_INPUT} in
;;
x*)
cat << EOF
if terminal_input ${GRUB_TERMINAL_INPUT} ; then true ; else
# For backward compatibility with versions of terminal.mod that don't
# understand terminal_input
terminal ${GRUB_TERMINAL_INPUT}
fi
terminal_input ${GRUB_TERMINAL_INPUT}
EOF
;;
esac
@ -152,11 +148,7 @@ case x${GRUB_TERMINAL_OUTPUT} in
;;
x*)
cat << EOF
if terminal_output ${GRUB_TERMINAL_OUTPUT} ; then true ; else
# For backward compatibility with versions of terminal.mod that don't
# understand terminal_output
terminal ${GRUB_TERMINAL_OUTPUT}
fi
terminal_output ${GRUB_TERMINAL_OUTPUT}
EOF
;;
esac