On 2011-08-12 09:29 +0200, Jerome BENOIT wrote: > On 12/08/11 08:08, Sven Joachim wrote: >> On 2011-08-11 21:10 +0200, Jerome BENOIT wrote: >> >>> On my Debian (Wheezy) boxes, the /usr/src is a link to /usr/local/src , >>> /usr and /usr/local being mounted on different partitions. >>> I guess it is a common practice. >> >> It might be common, but it is not a good practice since /usr/src is >> distribution territory. I.e. Debian packages will overwrite any local >> files without warning. > > My understand is the /usr/src is an exception: and /usr/src is meant to > to build kernel images.
You can build kernel images anywhere you like, there is no need or advantage whatsoever to build them under /usr/src. > Second, my set up forced the distribution territory: > on my box: /usr is mounted read only, whereras /usr/local is not. That does still not explain why you need /usr/src to be writable. Sven -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/877h6hhm9m....@turtle.gmx.de