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

/osnet-11/usr/src/grub/grub2/util/grub.d/
H A D10_windows.in49 get_os_name_from_boot_ini_name=`sed -n 's,\\\\,/,g;s,^'"$get_os_name_from_boot_ini_part"'="\([^"]*\)".*$,\1,p' "$1" | sed 1q`
50 test -n "$get_os_name_from_boot_ini_name" || return 1
52 echo "$get_os_name_from_boot_ini_name"

Completed in 18 milliseconds