grml / # sh -ex /sbin/grub-mkconfig -o /boot/grub/grub.cfg
+ transform=s,x,x,
+ prefix=/usr
+ exec_prefix=/usr
+ sbindir=/sbin
+ libdir=/lib64
+ sysconfdir=/etc
+ package_version=1.98
+ datarootdir=/usr/share
+ datadir=/usr/share
++ echo grub
++ sed s,x,x,
+ pkgdatadir=/usr/share/grub
++ echo /boot/grub
++ sed s,x,x,
+ grub_prefix=/boot/grub
+ grub_cfg=
+ grub_mkconfig_dir=/etc/grub.d
++ echo grub-mkdevicemap
++ sed s,x,x,
+ grub_mkdevicemap=/sbin/grub-mkdevicemap
++ echo grub-probe
++ sed s,x,x,
+ grub_probe=/sbin/grub-probe
+ for option in '"$@"'
+ case "$option" in
+ shift
+ grub_cfg=/boot/grub/grub.cfg
+ for option in '"$@"'
+ case "$option" in
+ . /lib64/grub/grub-mkconfig_lib
++ transform=s,x,x,
++ prefix=/usr
++ exec_prefix=/usr
++ datarootdir=/usr/share
++ datadir=/usr/share
++ bindir=/bin
++ sbindir=/sbin
+++ echo grub
+++ sed s,x,x,
++ pkgdatadir=/usr/share/grub
++ test x/sbin/grub-probe = x
++ test x = x
+++ echo grub-mkrelpath
+++ sed s,x,x,
++ grub_mkrelpath=/bin/grub-mkrelpath
++ GRUB_DISTRIBUTOR=Gentoo
+ '[' x0 = x ']'
+ '[' 0 '!=' 0 ']'
+ set /sbin/grub-mkdevicemap dummy
+ test -f /sbin/grub-mkdevicemap
+ :
+ set /sbin/grub-probe dummy
+ test -f /sbin/grub-probe
+ :
+ mkdir -p /boot/grub
+ test -e /boot/grub/device.map
+ :
++ /sbin/grub-probe --target=device /
/sbin/grub-probe: error: cannot find a device for / (is /dev mounted?).
+ GRUB_DEVICE=
grml / #