function escreturn { echo echo -n "${escreturnl}" sleep -i -v 60 } function esccont { echo echo -n "${esccontl}" sleep -i 9999 } function escctrl { if keystatus --ctrl; then configfile ${prefix}/Main.cfg fi } function linuxefi { linux $@ } function initrdefi { initrd $@ } function booting { echo -e "${loadingiso}" } function beforeins { echo echo -e "${beforeins}" echo ls -l echo "${escctrll}" esccont escctrl } function searchindevice { set device=$1 if [ '(' "$device" != "fd0" -a "$device" != "cd" ')' \ -o \ '(' "$device" = "fd0" -a "$fd0search" = "yes" ')' \ -o \ '(' "$device" = "cd" -a "$cdsearch" = "yes" ')' ] \ ; then return 0; else return 1; fi }$Revision: 35584 $ || #################################################################### \*======================================================================*/