> The following works even if /boot is a separate partition.
I see that you've based this code in 10_linux, but note that 10_linux has
many other requisites and this way of handling it might be overly complicated
when you're just trying to add one file, with static name.
I recommend just using ${
The following works even if /boot is a separate partition.
--
Paul Martin <[EMAIL PROTECTED]>
#!/bin/bash -e
name=memtest86+
binary=/boot/memtest86+.bin
if test -e $binary ; then
echo "Found $name: $binary" >&2
basename=`basename $binary`
dirname=`dirname $binary`
grub_dirname=`echo ${di
2 matches
Mail list logo
