On 10/10/2018 7:28 PM, Robert Elz wrote:
| I've typically installed them under /usr/src,
That's the standard patrh, though they can go anywhere.
| (though usually symlinked to a separate partition mounted as /Sources).
You can certainly do it that way, but why not just mount the
partition as /usr/src and do away with the symlink? That's cleaner,
and generally better - mounting things in the root directory (including /mnt)
can cause even worse problems than should occur should the device
holding the mounted filesystem ever hang (refuse to do anything, either
dur to software or hardware issues).
Mounting /Sources and symlinking /Sources/src at /usr/src, /Sources/pkgsrc at
/usr/pkgsrc, /Sources/xsrc at /usr/xsrc, etc. covers all the bases. Where
would you put xsrc if you mount a partition at /usr/src? Ditto pkgsrc?
Or, /Sources/distfiles? Or, /Source/mysources?
[Note that the device mounted at /Sources may be an external drive that may or
may not be present at all times]
It lets me keep sources off of systems that don't need them while keeping the
file hierarchy basically consistent -- the "basic" partitions are always the
same size and have the same content.
