lkml.org 
[lkml]   [2006]   [May]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: How to check if kernel sources are installed on a system?
    Lee Revell wrote:
    > On Thu, 2006-05-25 at 21:19 +0000, devmazumdar wrote:
    >> How does one check the existence of the kernel source RPM (or deb) on
    >> every single distribution?.
    >>
    >> We know that rpm -qa | grep kernel-source works on Redhat, Fedora,
    >> SuSE, Mandrake and CentOS - how about other RPM based distros? How
    >> about debian based distros?. There doesn't seem to be a a single
    >> conherent naming scheme.
    >
    > I'd really like to see a distro-agnostic way to retrieve the kernel
    > configuration. /proc/config.gz has existed for soem time but many
    > distros inexplicably don't enable it.
    >
    > Lee
    >
    >

    A-men to that!. Basically what really needs to happen is for all the distros to
    adopt Fedora's way of shipping kernel headers. If you're not going to ship
    source for the kernel, atleast ship kernel headers for the kernel that you are
    running.


    Anything to get out-of-kernel modules compiling without jumping through 1000
    hoops is good.



    best regards
    Dev Mazumdar
    -----------------------------------------------------------
    4Front Technologies
    4035 Lafayette Place, Unit F, Culver City, CA 90232, USA.
    Tel: (310) 202 8530 URL: www.opensound.com
    Fax: (310) 202 0496 Email: info@opensound.com
    -----------------------------------------------------------
    -
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2006-05-26 00:41    [W:4.034 / U:0.872 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site