shell: move banner to top like it used to

Discussed with a number of people over the years.
This commit is contained in:
Franco Fichtner 2018-07-06 20:31:22 +00:00
parent 7bf9c376d8
commit e5cdce79a1

View File

@ -115,6 +115,8 @@ while : ; do
# Failure to exit at that moment would lead to an infinite loop.
set -e
${CMD_BANNER}
echo
echo " 0) Logout 7) Ping host"
echo " 1) Assign interfaces 8) Shell"
@ -178,6 +180,4 @@ case ${OPCODE} in
;;
esac
${CMD_BANNER}
done