Searched refs:grubdirname (Results 1 - 4 of 4) sorted by relevance
| /osnet-11/usr/src/grub/grub2/util/ |
| H A D | grub-reboot.in | 33 grubdir=`echo "/@bootdirname@/@grubdirname@" | sed 's,//*,/,g'`
44 --boot-directory=DIR expect GRUB images under the directory DIR/@grubdirname@
120 grubdir=`echo "${bootdir}/@grubdirname@" | sed 's,//*,/,g'`
|
| H A D | grub-set-default.in | 33 grubdir=`echo "/@bootdirname@/@grubdirname@" | sed 's,//*,/,g'`
44 --boot-directory=DIR expect GRUB images under the directory DIR/@grubdirname@
120 grubdir=`echo "${bootdir}/@grubdirname@" | sed 's,//*,/,g'`
|
| H A D | grub-install.in | 50 grubdir="`echo "/@bootdirname@/@grubdirname@" | sed 's,//*,/,g'`"
368 grubdir="${bootdir}/@grubdirname@"
|
| /osnet-11/usr/src/grub/grub2/ |
| H A D | configure | 1278 grubdirname
3363 grubdirname=`echo "$PACKAGE" | sed "$program_transform_name"`
3367 #define GRUB_DIR_NAME "$grubdirname"
[all...] |
Completed in 120 milliseconds