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