Re: kernel headers---FAQ

[Gergely Madarasz <gorgo@caesar.elte.hu>]

On Sun, 18 Jan 1998, Jason Gunthorpe wrote:

> 
> Even better:
> 
> 'Should I move /usr/src/linux to /usr/local/src/linux [Y/n]'

Just a note: this is not so easy if /usr/local is a separate partition.
But something of the kind would be very good.

Greg

--
Madarasz Gergely           gorgo@caesar.elte.hu         gorgo@linux.rulez.org
          Egy pingvinre gyakorlatilag lehetetlen haragosan nezni.
              HuLUG: http://www.cab.u-szeged.hu/local/linux/


--
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 .