Attachment 502071 Details for Bug 774724

Results of bash -x /usr/sbin/grub2-mkconfig

results_of_bash-x.txt (text/plain), 19.50 KB, created by Roman Bysh on 2012-08-12 17:16:56 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Roman Bysh

Created: 2012-08-12 17:16:56 UTC

Size: 19.50 KB

patch

obsolete

>bash -x /usr/sbin/grub2-mkconfig
>+ set -e
>+ transform='s&^&&;s,grub,grub2,'
>+ prefix=/usr
>+ exec_prefix=/usr
>+ datarootdir=/usr/share
>+ prefix=/usr
>+ exec_prefix=/usr
>+ sbindir=/usr/sbin
>+ bindir=/usr/bin
>+ sysconfdir=/etc
>+ PACKAGE_NAME=GRUB2
>+ PACKAGE_VERSION=2.00
>+ host_os=linux-gnu
>+ datadir=/usr/share
>+ '[' x = x ']'
>+ pkgdatadir=/usr/share/grub2
>+ grub_cfg=
>+ grub_mkconfig_dir=/etc/grub.d
>++ basename /usr/sbin/grub2-mkconfig
>+ self=grub2-mkconfig
>++ echo grub-probe
>++ sed 's&^&&;s,grub,grub2,'
>+ grub_probe=/usr/sbin/grub2-probe
>++ echo grub-editenv
>++ sed 's&^&&;s,grub,grub2,'
>+ grub_editenv=/usr/bin/grub2-editenv
>++ echo grub-script-check
>++ sed 's&^&&;s,grub,grub2,'
>+ grub_script_check=/usr/bin/grub2-script-check
>+ export TEXTDOMAIN=grub2
>+ TEXTDOMAIN=grub2
>+ export TEXTDOMAINDIR=/usr/share/locale
>+ TEXTDOMAINDIR=/usr/share/locale
>+ . /usr/share/grub2/grub-mkconfig_lib                                                                                                                                                                         
>++ transform='s&^&&;s,grub,grub2,'                                                                                                                                                                             
>++ prefix=/usr                                                                                                                                                                                                 
>++ exec_prefix=/usr                                                                                                                                                                                            
>++ datarootdir=/usr/share                                                                                                                                                                                      
>++ datadir=/usr/share                                                                                                                                                                                          
>++ bindir=/usr/bin                                                                                                                                                                                             
>++ sbindir=/usr/sbin                                                                                                                                                                                           
>++ pkgdatadir=/usr/share/grub2                                                                                                                                                                                 
>++ test x/usr/sbin/grub2-probe = x                                                                                                                                                                             
>++ test x = x                                                                                                                                                                                                  
>+++ echo grub-mkrelpath                                                                                                                                                                                        
>+++ sed 's&^&&;s,grub,grub2,'                                                                                                                                                                                  
>++ grub_mkrelpath=/usr/bin/grub2-mkrelpath                                                                                                                                                                     
>++ which gettext                                                                                                                                                                                               
>++ :                                                                                                                                                                                                           
>+ test 0 -gt 0                                                                                                                                                                                                 
>+ '[' x0 = x ']'                                                                                                                                                                                               
>+ '[' 0 '!=' 0 ']'
>+ set /usr/sbin/grub2-probe dummy
>+ test -f /usr/sbin/grub2-probe
>+ :
>++ /usr/sbin/grub2-probe --target=device /
>+ GRUB_DEVICE=/dev/sda6
>++ /usr/sbin/grub2-probe --device /dev/sda6 --target=fs_uuid
>+ GRUB_DEVICE_UUID=751f53d6-564b-4025-8d22-c72c8baf632b
>++ /usr/sbin/grub2-probe --target=device /boot
>+ GRUB_DEVICE_BOOT=/dev/sda6
>++ /usr/sbin/grub2-probe --device /dev/sda6 --target=fs_uuid
>+ GRUB_DEVICE_BOOT_UUID=751f53d6-564b-4025-8d22-c72c8baf632b
>++ /usr/sbin/grub2-probe --device /dev/sda6 --target=fs
>+ GRUB_FS=ext2
>+ test -f /etc/default/grub
>+ . /etc/default/grub
>++ GRUB_DISTRIBUTOR=openSUSE
>++ GRUB_DEFAULT=saved
>++ GRUB_HIDDEN_TIMEOUT=0
>++ GRUB_HIDDEN_TIMEOUT_QUIET=true
>++ GRUB_TIMEOUT=5
>++ GRUB_CMDLINE_LINUX_DEFAULT=' video=1680x1050 resume=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part2 splash=silent quiet showopts vga=0x31a'
>++ GRUB_CMDLINE_LINUX_RECOVERY='showopts apm=off noresume edd=off powersaved=off nohz=off highres=off processor.max_cstate=1 nomodeset x11failsafe'
>++ GRUB_CMDLINE_LINUX=
>++ GRUB_TERMINAL=gfxterm
>++ GRUB_GFXMODE=1024x768
>++ GRUB_THEME=/boot/grub2/themes/openSUSE/theme.txt
>+ '[' xgfxterm '!=' x ']'
>+ '[' xgfxterm '!=' xgfxterm ']'
>+ GRUB_TERMINAL_OUTPUT=gfxterm
>+ termoutdefault=0
>+ '[' xgfxterm = x ']'
>+ for x in '${GRUB_TERMINAL_OUTPUT}'
>+ case "x${x}" in
>+ GRUB_ACTUAL_DEFAULT=saved
>+ '[' xsaved = xsaved ']'
>++ /usr/bin/grub2-editenv - list
>++ sed -n '/^saved_entry=/ s,^saved_entry=,,p'
>+ GRUB_ACTUAL_DEFAULT=
>+ 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_DEFAULT_BUTTON GRUB_HIDDEN_TIMEOUT_BUTTON GRUB_TIMEOUT_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_CMDLINE_LINUX_RECOVERY
>+ test x '!=' x
>+ gettext 'Generating grub.cfg ...'
>Generating grub.cfg ...+ echo
>
>+ cat
>#
># DO NOT EDIT THIS FILE
>#
># It is automatically generated by grub2-mkconfig using templates
># from /etc/grub.d and settings from /etc/default/grub
>#
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/00_header
>+ test -f /etc/grub.d/00_header
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/00_header
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/00_header ###'
>### BEGIN /etc/grub.d/00_header ###
>+ /etc/grub.d/00_header
>if [ -s $prefix/grubenv ]; then
>  load_env
>fi
>set default="${saved_entry}"
>
>if [ x"${feature_menuentry_id}" = xy ]; then
>  menuentry_id_option="--id"
>else
>  menuentry_id_option=""
>fi
>
>export menuentry_id_option
>
>if [ "${prev_saved_entry}" ]; then
>  set saved_entry="${prev_saved_entry}"
>  save_env saved_entry
>  set prev_saved_entry=
>  save_env prev_saved_entry
>  set boot_once=true
>fi
>
>function savedefault {
>  if [ -z "${boot_once}" ]; then
>    saved_entry="${chosen}"
>    save_env saved_entry
>  fi
>}
>
>function load_video {
>  if [ x$feature_all_video_module = xy ]; then
>    insmod all_video
>  else
>    insmod efi_gop
>    insmod efi_uga
>    insmod ieee1275_fb
>    insmod vbe
>    insmod vga
>    insmod video_bochs
>    insmod video_cirrus
>  fi
>}
>
>if [ x$feature_default_font_path = xy ] ; then
>   font=unicode
>else
>insmod part_msdos
>insmod ext2
>set root='hd0,msdos7'
>if [ x$feature_platform_search_hint = xy ]; then
>  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  751f53d6-564b-4025-8d22-c72c8baf632b
>else
>  search --no-floppy --fs-uuid --set=root 751f53d6-564b-4025-8d22-c72c8baf632b
>fi
>    font="/usr/share/grub2/unicode.pf2"
>fi
>
>if loadfont $font ; then
>  set gfxmode=1024x768
>  load_video
>  insmod gfxterm
>  set locale_dir=$prefix/locale
>  set lang=POSIX
>  insmod gettext
>fi
>terminal_output gfxterm
>Found theme: /boot/grub2/themes/openSUSE/theme.txt
>insmod part_msdos
>insmod ext2
>set root='hd0,msdos7'
>if [ x$feature_platform_search_hint = xy ]; then
>  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  751f53d6-564b-4025-8d22-c72c8baf632b
>else
>  search --no-floppy --fs-uuid --set=root 751f53d6-564b-4025-8d22-c72c8baf632b
>fi
>insmod gfxmenu
>loadfont ($root)/boot/grub2/themes/openSUSE/DejaVuSans-Bold14.pf2
>loadfont ($root)/boot/grub2/themes/openSUSE/DejaVuSans10.pf2
>loadfont ($root)/boot/grub2/themes/openSUSE/DejaVuSans12.pf2
>loadfont ($root)/boot/grub2/themes/openSUSE/ascii.pf2
>insmod png
>set theme=($root)/boot/grub2/themes/openSUSE/theme.txt
>export theme
>if sleep --interruptible 0 ; then
>  set timeout=5
>fi
>+ echo '### END /etc/grub.d/00_header ###'
>### END /etc/grub.d/00_header ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/10_linux
>+ test -f /etc/grub.d/10_linux
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/10_linux
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/10_linux ###'
>### BEGIN /etc/grub.d/10_linux ###
>+ /etc/grub.d/10_linux
>Found linux image: /boot/vmlinuz-3.4.6-1.1-desktop
>Found initrd image: /boot/initrd-3.4.6-1.1-desktop
>menuentry 'openSUSE' --class opensuse --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-751f53d6-564b-4025-8d22-c72c8baf632b' {
>        load_video
>        set gfxpayload=keep
>        insmod gzio
>        insmod part_msdos
>        insmod ext2
>        set root='hd0,msdos7'
>        if [ x$feature_platform_search_hint = xy ]; then
>          search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  751f53d6-564b-4025-8d22-c72c8baf632b
>        else
>          search --no-floppy --fs-uuid --set=root 751f53d6-564b-4025-8d22-c72c8baf632b
>        fi
>        echo    'Loading Linux 3.4.6-1.1-desktop ...'
>        linux   /boot/vmlinuz-3.4.6-1.1-desktop root=UUID=751f53d6-564b-4025-8d22-c72c8baf632b   video=1680x1050 resume=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part2 splash=silent quiet showopts vga=0x31a
>        echo    'Loading initial ramdisk ...'
>        initrd  /boot/initrd-3.4.6-1.1-desktop
>}
>submenu 'Advanced options for openSUSE' $menuentry_id_option 'gnulinux-advanced-751f53d6-564b-4025-8d22-c72c8baf632b' {
>        menuentry 'openSUSE, with Linux 3.4.6-1.1-desktop' --class opensuse --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.4.6-1.1-desktop-advanced-751f53d6-564b-4025-8d22-c72c8baf632b' {
>                load_video
>                set gfxpayload=keep
>                insmod gzio
>                insmod part_msdos
>                insmod ext2
>                set root='hd0,msdos7'
>                if [ x$feature_platform_search_hint = xy ]; then
>                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  751f53d6-564b-4025-8d22-c72c8baf632b
>                else
>                  search --no-floppy --fs-uuid --set=root 751f53d6-564b-4025-8d22-c72c8baf632b
>                fi
>                echo    'Loading Linux 3.4.6-1.1-desktop ...'
>                linux   /boot/vmlinuz-3.4.6-1.1-desktop root=UUID=751f53d6-564b-4025-8d22-c72c8baf632b   video=1680x1050 resume=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part2 splash=silent quiet showopts vga=0x31a
>                echo    'Loading initial ramdisk ...'
>                initrd  /boot/initrd-3.4.6-1.1-desktop
>        }
>        menuentry 'openSUSE, with Linux 3.4.6-1.1-desktop (recovery mode)' --class opensuse --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.4.6-1.1-desktop-recovery-751f53d6-564b-4025-8d22-c72c8baf632b' {
>                load_video
>                set gfxpayload=keep
>                insmod gzio
>                insmod part_msdos
>                insmod ext2
>                set root='hd0,msdos7'
>                if [ x$feature_platform_search_hint = xy ]; then
>                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  751f53d6-564b-4025-8d22-c72c8baf632b
>                else
>                  search --no-floppy --fs-uuid --set=root 751f53d6-564b-4025-8d22-c72c8baf632b
>                fi
>                echo    'Loading Linux 3.4.6-1.1-desktop ...'
>                linux   /boot/vmlinuz-3.4.6-1.1-desktop root=UUID=751f53d6-564b-4025-8d22-c72c8baf632b  showopts apm=off noresume edd=off powersaved=off nohz=off highres=off processor.max_cstate=1 nomodeset x11failsafe
>                echo    'Loading initial ramdisk ...'
>                initrd  /boot/initrd-3.4.6-1.1-desktop
>        }
>}
>
>+ echo '### END /etc/grub.d/10_linux ###'
>### END /etc/grub.d/10_linux ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/20_linux_xen
>+ test -f /etc/grub.d/20_linux_xen
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/20_linux_xen
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/20_linux_xen ###'
>### BEGIN /etc/grub.d/20_linux_xen ###
>+ /etc/grub.d/20_linux_xen
>+ echo '### END /etc/grub.d/20_linux_xen ###'
>### END /etc/grub.d/20_linux_xen ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/20_ppc_terminfo
>+ test -f /etc/grub.d/20_ppc_terminfo
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/20_ppc_terminfo
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/20_ppc_terminfo ###'
>### BEGIN /etc/grub.d/20_ppc_terminfo ###
>+ /etc/grub.d/20_ppc_terminfo
>+ echo '### END /etc/grub.d/20_ppc_terminfo ###'
>### END /etc/grub.d/20_ppc_terminfo ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/30_os-prober
>+ test -f /etc/grub.d/30_os-prober
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/30_os-prober
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/30_os-prober ###'
>### BEGIN /etc/grub.d/30_os-prober ###
>+ /etc/grub.d/30_os-prober
>  No volume groups found
>Found openSUSE 12.1 (x86_64) on /dev/sda1
>menuentry 'openSUSE 12.1 (x86_64)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-10083894-66d0-413e-a75c-373082a66611' {
>        insmod part_msdos
>        insmod ext2
>        set root='hd0,msdos1'
>        if [ x$feature_platform_search_hint = xy ]; then
>          search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1'  10083894-66d0-413e-a75c-373082a66611
>        else
>          search --no-floppy --fs-uuid --set=root 10083894-66d0-413e-a75c-373082a66611
>        fi
>        linux /boot/vmlinuz-3.1.10-1.16-desktop root=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part1 nomodeset resume=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part2 splash=silent quiet showopts vga=0x31a
>        initrd /boot/initrd-3.1.10-1.16-desktop
>}
>submenu 'Advanced options for openSUSE 12.1 (x86_64)' $menuentry_id_option 'osprober-gnulinux-advanced-10083894-66d0-413e-a75c-373082a66611' {
>        menuentry 'Desktop -- openSUSE 12.1 - 3.1.10-1.16 (on /dev/sda1)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-3.1.10-1.16-desktop--10083894-66d0-413e-a75c-373082a66611' {
>                insmod part_msdos
>                insmod ext2
>                set root='hd0,msdos1'
>                if [ x$feature_platform_search_hint = xy ]; then
>                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1'  10083894-66d0-413e-a75c-373082a66611
>                else
>                  search --no-floppy --fs-uuid --set=root 10083894-66d0-413e-a75c-373082a66611
>                fi
>                linux /boot/vmlinuz-3.1.10-1.16-desktop root=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part1 nomodeset resume=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part2 splash=silent quiet showopts vga=0x31a
>                initrd /boot/initrd-3.1.10-1.16-desktop
>        }
>        menuentry 'Failsafe -- openSUSE 12.1 - 3.1.10-1.16 (on /dev/sda1)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-3.1.10-1.16-desktop--10083894-66d0-413e-a75c-373082a66611' {
>                insmod part_msdos
>                insmod ext2
>                set root='hd0,msdos1'
>                if [ x$feature_platform_search_hint = xy ]; then
>                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1'  10083894-66d0-413e-a75c-373082a66611
>                else
>                  search --no-floppy --fs-uuid --set=root 10083894-66d0-413e-a75c-373082a66611
>                fi
>                linux /boot/vmlinuz-3.1.10-1.16-desktop root=/dev/disk/by-id/ata-WDC_WD5000AAKS-00YGA0_WD-WCAS85664685-part1 showopts apm=off noresume edd=off powersaved=off nohz=off highres=off processor.max_cstate=1 nomodeset x11failsafe vga=0x31a
>                initrd /boot/initrd-3.1.10-1.16-desktop
>        }
>}
>
>+ echo '### END /etc/grub.d/30_os-prober ###'
>### END /etc/grub.d/30_os-prober ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/40_custom
>+ test -f /etc/grub.d/40_custom
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/40_custom
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/40_custom ###'
>### BEGIN /etc/grub.d/40_custom ###
>+ /etc/grub.d/40_custom
># This file provides an easy way to add custom menu entries.  Simply type the
># menu entries you want to add after this comment.  Be careful not to change
># the 'exec tail' line above.
>+ echo '### END /etc/grub.d/40_custom ###'
>### END /etc/grub.d/40_custom ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/41_custom
>+ test -f /etc/grub.d/41_custom
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/41_custom
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/41_custom ###'
>### BEGIN /etc/grub.d/41_custom ###
>+ /etc/grub.d/41_custom
>if [ -f  ${config_directory}/custom.cfg ]; then
>  source ${config_directory}/custom.cfg
>elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
>  source $prefix/custom.cfg;
>fi
>+ echo '### END /etc/grub.d/41_custom ###'
>### END /etc/grub.d/41_custom ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/90_persistent
>+ test -f /etc/grub.d/90_persistent
>+ case "$1" in
>+ return 0
>+ test -x /etc/grub.d/90_persistent
>+ echo
>
>+ echo '### BEGIN /etc/grub.d/90_persistent ###'
>### BEGIN /etc/grub.d/90_persistent ###
>+ /etc/grub.d/90_persistent
>+ echo '### END /etc/grub.d/90_persistent ###'
>### END /etc/grub.d/90_persistent ###
>+ for i in '${grub_mkconfig_dir}/*'
>+ case "$i" in
>+ grub_file_is_not_garbage /etc/grub.d/README
>+ test -f /etc/grub.d/README
>+ case "$1" in
>+ return 1
>+ test x '!=' x
>+ gettext done
>done+ echo

Actions: View

Attachments on bug 774724: 502071