[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: kernel headers---FAQ



On Sun, 18 Jan 1998, James R. Van Zandt wrote:

> I think the user needs a little more explanation at this point.  Also,
> the kernel source tree is big enough that space may be a concern.  How
> about this:
> 
>    Error: Unable to create /usr/src/linux symlink.  This probably
>    means that you have installed your own source into /usr/src.  On a
>    Debian system /usr/src is owned by Debian (in compliance with the
>    FSSTND).  Debian recommends that kernel sources be installed in
>    /usr/local/src unless they are installed by a kernel-source
>    package.  See <some-faqdoc> for a detailed explanation.
> 
>    Checking:
>      whether /usr/src/linux and /usr/local/src are same filesystem...no
>      size of /usr/src/linux...51 MB
>      whether /usr/local/src has enough space...yes (134 MB)
> 
>    Should I move /usr/src/linux to /usr/local/src/linux? [Y/n] n
>    Should I rename /usr/src/linux to /usr/src/linux-MOVE-ME? [Y/n] n
>    Please remedy the situation, and then reinstall the
>    kernel-headers-2.0.32 package.
>    ^^^^^^^^^^^^^^^^^^^^^ Remind him which package this is.
>    
> Naturally, the size checks are skipped if the two directories are in
> the same filesystem, and the option to move /usr/src/linux to
> /usr/local/src/linux is skipped if there is not enough space.

Yes, very good.

I was also thinking, perhaps there should be a file in /usr/src (named
README or some obvious name), that says that users should install their
own sources (including the kernel) into /usr/local/src/ because /usr/src/
is "owned" by Debian.

I think this README will probably fit best in the gcc or the libc6-dev
package. Everyone who compiles C code (including the kernel) has gcc and
libc6-dev. Packages like kernel-sources-X.XX and kernel-headers-X.XX do
not qualify, since people can have zero or more of them installed when
compiling a custom kernel.

Remco
-- 
With Linux, there's no Bill to pay.


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .


Reply to: