# sh -x /usr/sbin/grub-mkconfig -o /boot/grub/grub.cfg + set -e + prefix=/usr + exec_prefix=/usr + datarootdir=/usr/share + prefix=/usr + exec_prefix=/usr + sbindir=/usr/sbin + bindir=/usr/bin + sysconfdir=/etc + PACKAGE_NAME=GRUB + PACKAGE_VERSION=2.02~beta2-9 + host_os=linux-gnu + datadir=/usr/share + [ x = x ] + pkgdatadir=/usr/share/grub + grub_cfg= + grub_mkconfig_dir=/etc/grub.d + basename /usr/sbin/grub-mkconfig + self=grub-mkconfig + grub_probe=/usr/sbin/grub-probe + grub_file=/usr/bin/grub-file + grub_editenv=/usr/bin/grub-editenv + grub_script_check=/usr/bin/grub-script-check + export TEXTDOMAIN=grub + export TEXTDOMAINDIR=/usr/share/locale + . /usr/share/grub/grub-mkconfig_lib + prefix=/usr + exec_prefix=/usr + datarootdir=/usr/share + datadir=/usr/share + bindir=/usr/bin + sbindir=/usr/sbin + [ x/usr/share/grub = x ] + test x/usr/sbin/grub-probe = x + test x/usr/bin/grub-file = x + test x = x + grub_mkrelpath=/usr/bin/grub-mkrelpath + which gettext + : + grub_tab= + test 2 -gt 0 + option=-o + shift + argument -o /boot/grub/grub.cfg + opt=-o + shift + test 1 -eq 0 + echo /boot/grub/grub.cfg + grub_cfg=/boot/grub/grub.cfg + shift + test 0 -gt 0 + fgrep -qs ${GRUB_PREFIX}/video.lst /etc/grub.d/00_header + [ x = x ] + id -u + EUID=0 + [ 0 != 0 ] + set /usr/sbin/grub-probe dummy + test -f /usr/sbin/grub-probe + : + /usr/sbin/grub-probe --target=device / + GRUB_DEVICE=/dev/mapper/R5--VG1-root + /usr/sbin/grub-probe --device /dev/mapper/R5--VG1-root --target=fs_uuid + GRUB_DEVICE_UUID=ae1117c7-2ee8-459c-8db1-c2dad7b4f5b3 + /usr/sbin/grub-probe --target=device /boot + GRUB_DEVICE_BOOT=/dev/md0 + /usr/sbin/grub-probe --device /dev/md0 --target=fs_uuid + GRUB_DEVICE_BOOT_UUID=f4a74ca7-0356-4ea3-b583-2f90ab52bdd7 + /usr/sbin/grub-probe --device /dev/mapper/R5--VG1-root --target=fs + GRUB_FS=ext2 + [ xext2 = xunknown ] + test -f /etc/default/grub + [ -e /etc/default/grub.d/dmraid2mdadm.cfg ] + . /etc/default/grub.d/dmraid2mdadm.cfg + GRUB_CMDLINE_LINUX_DEFAULT= nomdmonddf nomdmonisw + [ x != x ] + termoutdefault=0 + [ x = x ] + GRUB_TERMINAL_OUTPUT=gfxterm + termoutdefault=1 + GRUB_ACTUAL_DEFAULT= + [ x = xsaved ] + [ x = x ] + GRUB_RECOVERY_TITLE=recovery mode + export GRUB_DEVICE GRUB_DEVICE_UUID GRUB_DEVICE_BOOT GRUB_DEVICE_BOOT_UUID GRUB_FS GRUB_FONT GRUB_PRELOAD_MODULES GRUB_ACTUAL_DEFAULT + export GRUB_DEFAULT GRUB_HIDDEN_TIMEOUT GRUB_HIDDEN_TIMEOUT_QUIET GRUB_TIMEOUT GRUB_TIMEOUT_STYLE GRUB_DEFAULT_BUTTON GRUB_HIDDEN_TIMEOUT_BUTTON GRUB_TIMEOUT_BUTTON GRUB_TIMEOUT_STYLE_BUTTON GRUB_BUTTON_CMOS_ADDRESS GRUB_BUTTON_CMOS_CLEAN GRUB_DISTRIBUTOR GRUB_CMDLINE_LINUX GRUB_CMDLINE_LINUX_DEFAULT GRUB_CMDLINE_XEN GRUB_CMDLINE_XEN_DEFAULT GRUB_CMDLINE_LINUX_XEN_REPLACE GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT GRUB_CMDLINE_NETBSD GRUB_CMDLINE_NETBSD_DEFAULT GRUB_CMDLINE_GNUMACH GRUB_TERMINAL_INPUT GRUB_TERMINAL_OUTPUT GRUB_SERIAL_COMMAND GRUB_DISABLE_LINUX_UUID GRUB_DISABLE_RECOVERY GRUB_VIDEO_BACKEND GRUB_GFXMODE GRUB_BACKGROUND GRUB_THEME GRUB_GFXPAYLOAD_LINUX GRUB_DISABLE_OS_PROBER GRUB_INIT_TUNE GRUB_SAVEDEFAULT GRUB_ENABLE_CRYPTODISK GRUB_BADRAM GRUB_OS_PROBER_SKIP_LIST GRUB_DISABLE_SUBMENU GRUB_RECORDFAIL_TIMEOUT GRUB_RECOVERY_TITLE + test x/boot/grub/grub.cfg != x + rm -f /boot/grub/grub.cfg.new + umask + oldumask=0022 + umask 077 + exec + umask 0022 + gettext Generating grub configuration file ... Generating grub configuration file ...+ echo + cat + grub_file_is_not_garbage /etc/grub.d/00_header + test -f /etc/grub.d/00_header + return 0 + test -x /etc/grub.d/00_header + echo + echo ### BEGIN /etc/grub.d/00_header ### + /etc/grub.d/00_header + echo ### END /etc/grub.d/00_header ### + grub_file_is_not_garbage /etc/grub.d/05_debian_theme + test -f /etc/grub.d/05_debian_theme + return 0 + test -x /etc/grub.d/05_debian_theme + echo + echo ### BEGIN /etc/grub.d/05_debian_theme ### + /etc/grub.d/05_debian_theme + echo ### END /etc/grub.d/05_debian_theme ### + grub_file_is_not_garbage /etc/grub.d/10_linux + test -f /etc/grub.d/10_linux + return 0 + test -x /etc/grub.d/10_linux + echo + echo ### BEGIN /etc/grub.d/10_linux ### + /etc/grub.d/10_linux Found linux image: /boot/vmlinuz-3.13.0-24-generic Found initrd image: /boot/initrd.img-3.13.0-24-generic Found linux image: /boot/vmlinuz-3.11.0-20-generic Found initrd image: /boot/initrd.img-3.11.0-20-generic Found linux image: /boot/vmlinuz-3.11.0-19-generic Found initrd image: /boot/initrd.img-3.11.0-19-generic + echo ### END /etc/grub.d/10_linux ### + grub_file_is_not_garbage /etc/grub.d/20_linux_xen + test -f /etc/grub.d/20_linux_xen + return 0 + test -x /etc/grub.d/20_linux_xen + echo + echo ### BEGIN /etc/grub.d/20_linux_xen ### + /etc/grub.d/20_linux_xen + echo ### END /etc/grub.d/20_linux_xen ### + grub_file_is_not_garbage /etc/grub.d/20_memtest86+ + test -f /etc/grub.d/20_memtest86+ + return 0 + test -x /etc/grub.d/20_memtest86+ + echo + echo ### BEGIN /etc/grub.d/20_memtest86+ ### + /etc/grub.d/20_memtest86+ + echo ### END /etc/grub.d/20_memtest86+ ### + grub_file_is_not_garbage /etc/grub.d/30_os-prober + test -f /etc/grub.d/30_os-prober + return 0 + test -x /etc/grub.d/30_os-prober + echo + echo ### BEGIN /etc/grub.d/30_os-prober ### + /etc/grub.d/30_os-prober grub-probe: error: unknown filesystem. + echo ### END /etc/grub.d/30_os-prober ### + grub_file_is_not_garbage /etc/grub.d/30_uefi-firmware + test -f /etc/grub.d/30_uefi-firmware + return 0 + test -x /etc/grub.d/30_uefi-firmware + echo + echo ### BEGIN /etc/grub.d/30_uefi-firmware ### + /etc/grub.d/30_uefi-firmware + echo ### END /etc/grub.d/30_uefi-firmware ### + grub_file_is_not_garbage /etc/grub.d/40_custom + test -f /etc/grub.d/40_custom + return 0 + test -x /etc/grub.d/40_custom + echo + echo ### BEGIN /etc/grub.d/40_custom ### + /etc/grub.d/40_custom + echo ### END /etc/grub.d/40_custom ### + grub_file_is_not_garbage /etc/grub.d/41_custom + test -f /etc/grub.d/41_custom + return 0 + test -x /etc/grub.d/41_custom + echo + echo ### BEGIN /etc/grub.d/41_custom ### + /etc/grub.d/41_custom + echo ### END /etc/grub.d/41_custom ### + grub_file_is_not_garbage /etc/grub.d/README + test -f /etc/grub.d/README + return 1 + [ x/boot/grub/grub.cfg != x ] + grep ^password /boot/grub/grub.cfg.new + chmod 444 /boot/grub/grub.cfg.new + test x/boot/grub/grub.cfg != x + /usr/bin/grub-script-check /boot/grub/grub.cfg.new + mv -f /boot/grub/grub.cfg.new /boot/grub/grub.cfg + gettext done done+ echo