deleted kernel

[Colin Law]

On 13 January 2013 20:37, Gary Kirkpatrick <garyartista at gmail.com> wrote:
>
>
> On Sun, Jan 13, 2013 at 11:10 AM, Colin Law <clanlaw at googlemail.com> wrote:
>>
>> On 13 January 2013 10:06, Colin Law <clanlaw at googlemail.com> wrote:
>> > On 13 January 2013 06:09, G. <pegngaryubuntu at gmail.com> wrote:
>> >> It does not show up in grub.
>> >
>> > What do you mean "it does not show up in grub"?
>>
>> Having thought about it I presume you mean the new kernel is not
>> appearing on the boot menu.  Did you remember to boot into the default
>> system and do
>> sudo update-grub
>>
>> Colin
>>
>> >
>> > Colin
>
> snip
>
> Yes I ran sudo update-grub.  I deleted the kernel so I do not think it will
> regenerate that way.

I don't understand, did not the procedure you mentioned in your first
post reinstall it?

Colin