# HG changeset patch # User Pascal Bellard # Date 1436699030 -7200 # Node ID a8ff72f76e0da3a333162ba78e52e1ee2065ce55 # Parent 4739b419c19f7cbca3146e23a15f1cc06939e5fa Localize 'ISO mine' + make pot & msgmerge diff -r 4739b419c19f -r a8ff72f76e0d boot.cgi --- a/boot.cgi Sun Jul 12 10:49:16 2015 +0200 +++ b/boot.cgi Sun Jul 12 13:03:50 2015 +0200 @@ -307,9 +307,9 @@ -e s"|splashimage=.*|splashimage=$splash|" \ $GRUBMENU fi - default=$(cat $GRUBMENU | grep ^default | cut -d' ' -f2) - timeout=$(cat $GRUBMENU | grep ^timeout | cut -d' ' -f2) - splash=$(cat $GRUBMENU | grep ^splashimage | cut -d' ' -f2) + default=$(grep ^default $GRUBMENU | cut -d' ' -f2) + timeout=$(grep ^timeout $GRUBMENU | cut -d' ' -f2) + splash=$(grep ^splashimage $GRUBMENU | cut -d' ' -f2) xhtml_header "$(_ 'GRUB Boot loader')" cat <$(_ 'ISO mine')" - [ "$iso" ] || msg err 'Invalid ISO image.' + [ "$iso" ] || msg err "$(_ 'Invalid ISO image.') if [ "$iso" -a "$action" -a "$action" != "nop" ]; then case "$action" in @@ -407,17 +407,17 @@ EOT cat < - ISO image file full path - + $(_ 'ISO image file full path') + - Working directory + $(_ 'Working directory') - Target partition - + $(_ 'Target partition') + - + EOT grep -l 1 /sys/block/*/removable | \ sed 's|/sys/block/\(.*\)/removable|\1|' | while read dev; do @@ -451,7 +451,7 @@ if [ "$iso" ]; then cat < - + $(taziso $iso list | sed -e \ 's/"\(.*\)"[\t ]*"\(.*\)"/