#
#!/bin/bash

oldfile=pmagic-6.7.iso
newfile=pmagic_2012_06_07.iso

grubfile=grub.txt.php
url=http://espresso.kapsi.fi/pub/iso/pmagic
grub=/boot/grub/grub.cfg
dir=/boot/iso

if [ ! -d "$dir" ];then
mkdir -p $dir
fi

if [ ! -f "$dir/$oldfile" ];then
wget -O $dir/$oldfile $url/$oldfile
fi

if [ ! -f "$dir/$newfile" ];then
wget -O $dir/$newfile $url/$newfile
fi

wget -O $dir/$grubfile $url/$grubfile
cat "$dir/$grubfile" >> $grub
rm $dir/$grubfile