This is one for P (Peter?) Robinson I think.
I have just done fedup-cli on my Raspberry Pi which worked fine but on re-booting there is no
boot menu from grub - it simply boots, as before, into FC17 with graphical login invitation.
I looked at /boot and see that there is an executable file vmlinuz-fedup there, should
I just execute it and hope for the best? I recently did the same operation for fc17 -> fc18 on
my 686 machine which went without a hitch - perhaps because it always gives a
(brief glimpse of!) a grub boot menu.
Dave
_______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm
