GNU bug report logs - #74734
[PATCH] gnu: Add inferno

Previous Next

Full log

Message #17 received at 74734 <at> debbugs.gnu.org (full text, mbox):

From: gay <at> disroot.org
To: Ludovic Courtès <ludo <at> gnu.org>, 74734 <at> debbugs.gnu.org
Subject: Re: [bug#74734] [PATCH v3] gnu: Add inferno.
Date: Mon, 06 Jan 2025 09:33:18 +0000

Hi,

Sure, I'll send updated patch later, with a fix to broken scripts caused 
by guix replacing shebang #!/dis/sh.

If it's ok, I'd like to move /share/inferno to /inferno just like 
plan9port lives in /plan9.

If people start developing in Limbo or implementations of other 
languages add support for compiling to DIS virtual machine, there needs 
to be mechanism for re-generating emu script or namespace file so that 
it binds packages into union, otherwise this package should live in 
plan9.scm because of how closely related they are.

To get access to system fonts, users need to manually start fontsrv from 
plan9port.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.