bash: Script to update GRUB (Arch).