Hey,
Just wondering whether it'd be possible to install the 7.1 sources in /usr/src (both src.tar.gz and sys.tar.gz)? It'd be nice to have the source of the system available for perusal, and it'll (mostly?) avoid multiple user copies. (If we had both 7.1 and -current, that'd be insanely awesome!)
Thanks, ~s
On Thu, Jun 30, 2022 at 04:49:03PM +0000, silkworks@tilde.institute wrote:
Hey,
Just wondering whether it'd be possible to install the 7.1 sources in /usr/src (both src.tar.gz and sys.tar.gz)? It'd be nice to have the source of the system available for perusal, and it'll (mostly?) avoid multiple user copies. (If we had both 7.1 and -current, that'd be insanely awesome!)
Thanks, ~s
Hey there,
I've added the 7.1-STABLE sources to /usr/src, and the current sources to /usr/src-current
~gbmor
On Sat, Jul 09, 2022 at 10:23:31PM -0400, gbmor wrote:
On Thu, Jun 30, 2022 at 04:49:03PM +0000, silkworks@tilde.institute wrote:
Hey,
Just wondering whether it'd be possible to install the 7.1 sources in /usr/src (both src.tar.gz and sys.tar.gz)? It'd be nice to have the source of the system available for perusal, and it'll (mostly?) avoid multiple user copies. (If we had both 7.1 and -current, that'd be insanely awesome!)
Thanks, ~s
Hey there,
I've added the 7.1-STABLE sources to /usr/src, and the current sources to /usr/src-current
~gbmor
Also, both the stable and current trees will be updated daily at 0800 UTC.
~gbmor
institute@lists.tildeverse.org
-
gbmor -
silkworks＠tilde.institute