Am 25.06.2013 00:14, schrieb Arthur Dent:
> On Tue, 2013-06-25 at 00:06 +0200, poma wrote:
>> On 24.06.2013 22:35, Arthur Dent wrote:
>> …
>>
>>> What did I do wrong - and how do I get it to default to my working
>>> kernel?
>> …
>>
>> rpm -q kernel
>> ll /boot
> 
> # rpm -q kernel
> package kernel is not installed

so what about "yum install kernel"?
you should get the last recent which should be 3.9.5
and grubby usually add it to the grub-menu

rpm -q kernel
kernel-3.9.5-101.fc17.x86_64

Attachment: signature.asc
Description: OpenPGP digital signature

-- 
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org

Reply via email to