Searched refs:GRUB_THEME (Results 1 - 2 of 2) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/grub.d/
H A D00_header.in186 if [ "x$GRUB_THEME" != x ] && [ -f "$GRUB_THEME" ] \
187 && is_path_readable_by_grub "$GRUB_THEME"; then
188 echo "Found theme: $GRUB_THEME" >&2
189 prepare_grub_to_access_device `${grub_probe} --target=device "$GRUB_THEME"`
193 themedir="`dirname "$GRUB_THEME"`"
218 set theme=(\$root)`make_system_path_relative_to_its_root $GRUB_THEME`
/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-mkconfig.in254 GRUB_THEME \

Completed in 41 milliseconds