mirror of
https://github.com/kernelkit/infix.git
synced 2026-07-30 20:43:02 +02:00
Tobias Waldekranz
e3e6477d47
When a device is in developer mode, drop the user directly into the shell instead of having to go via the bootmenu, since this is usually what you want in that case. Emit a note about how to access the menu, for the rare cases when that is needed.
19 lines
412 B
Bash
19 lines
412 B
Bash
echo "Press Ctrl-C NOW to override the default boot sequence"
|
|
if sleep "${ixbootdelay}"; then
|
|
run ixbootorder
|
|
|
|
echo "FATAL: Exhausted all available boot sources, rebooting"
|
|
sleep 1
|
|
reset
|
|
fi
|
|
|
|
if test "${dev_mode}" != "yes"; then
|
|
bootmenu
|
|
pause "Console shell access PROHIBITED. Press any key to reset..."
|
|
reset
|
|
fi
|
|
|
|
echo
|
|
echo 'Run "bootmenu" to interactively select a boot device'
|
|
echo
|