set theme=$prefix/themes/DLCBoot/theme.txt set locale_dir=$prefix/locale set icondir=$prefix/themes/icons export theme set default="Boot OS on Hard Disk" if [ -s $prefix/grubenv ]; then load_env fi if [ x"${feature_menuentry_id}" = xy ]; then menuentry_id_option="--id" else menuentry_id_option="" fi export menuentry_id_option if [ "${prev_saved_entry}" ]; then set saved_entry="${prev_saved_entry}" save_env saved_entry set prev_saved_entry= save_env prev_saved_entry set boot_once=true fi function savedefault { if [ -z "${boot_once}" ]; then saved_entry="${chosen}" save_env saved_entry fi } function load_video { if [ x$feature_all_video_module = xy ]; then insmod all_video else insmod efi_gop insmod efi_uga insmod ieee1275_fb insmod vbe insmod vga insmod video_bochs insmod video_cirrus fi } if [ -e ${prefix}/fonts/fonts.cfg ]; then source ${prefix}/fonts/fonts.cfg else if [ x$feature_default_font_path = xy ] ; then font=unicode-small else font="${prefix}/fonts/unicode-small.pf2" fi fi if loadfont $font ; then set gfxmode=1024x768x