Re: “guix --help” should point to https://guix.gnu.org/help/

2020-05-17 Thread Ludovic Courtès
Hi, Ricardo Wurmus skribis: > “guix --help” prints this: > > Report bugs to: bug-g...@gnu.org. > GNU Guix home page: > General help using GNU software: > > I think it should explicitly point to https://guix.gnu.org/help/, maybe > right

Re: “guix --help” should point to https://guix.gnu.org/help/

2020-05-17 Thread Ludovic Courtès
Hi Diego, Diego Nicola Barbato skribis: > zimoun writes: > >> Hi Ricardo, >> >> On Fri, 15 May 2020 at 12:20, Ricardo Wurmus wrote: >> >>> annoyed by the fact that people turn to Reddit for help with Guix — a >>> venue only very few of us frequent — I wondered if our help channels are >>>

Re: [gnu.org #1524186] [guix] request to decommission hydra.gnu.org

2020-05-17 Thread Ludovic Courtès
Hi Andrew, (+Cc: guix-maintainers.) "Andrew Engelbrecht via RT" skribis: > I'm Andrew, a sysadmin at the FSF. > > We recently received a request to decommission hydra.gnu.org, an old build > server that we host. I'm checking in with the Guix development community with > this email, to follow

Re: [gnu.org #1524186] [guix] request to decommission hydra.gnu.org

2020-05-17 Thread Ludovic Courtès via RT
Hi Andrew, (+Cc: guix-maintainers.) "Andrew Engelbrecht via RT" skribis: > I'm Andrew, a sysadmin at the FSF. > > We recently received a request to decommission hydra.gnu.org, an old build > server that we host. I'm checking in with the Guix development community with > this email, to follow

Re: Routing Guix services traffic trough Tor

2020-05-17 Thread Ludovic Courtès
Hi Brice, Brice Waegeneire skribis: > Today I played a bit with Tor and Guix, trying to fetch substitutes > trough > the Tor network as blaze_cornbread asked on IRC[0] how to do this. I > managed to get it working but in the end I don't think we should > encourage > people doing it this way,

Re: MIPS support

2020-05-17 Thread Ludovic Courtès
Hi, Leo Famulari skribis: > On Wed, May 06, 2020 at 06:27:31PM +0200, Vincent Legoll wrote: >> From the manual or from the CI, to let the build farm do more useful things >> I'm not against, but is it really making maintenance difficult by still >> being in >> the codebase ? > > It's not

Re: https://guix.gnu.org/packages ?

2020-05-17 Thread Ludovic Courtès
Hi, Christopher Baines skribis: > The HPC Guix Browse page relies a bit too much on JavaScript for my > liking, it would be nice to have a search interface that doesn't use > JavaScript (or at least doesn't have to). > > Maybe there could be a small Guile app to serve >

Re: hide more output

2020-05-17 Thread Ludovic Courtès
Hi, Pierre Neidhardt skribis: > But can we do even shorter? > > - Move the graft information which is somewhat low-level to --verbose=N. > - Remove the duplicate profile information ("The following > derivation..." and "building "/gnu...-profile.drv"). > - If we move the URL to --verbose=N,

Re: Exact same 'call-with-temporary-directory' defined twice?

2020-05-17 Thread Ludovic Courtès
Hi, zimoun skribis: > On Wed, 6 May 2020 at 15:54, Ludovic Courtès wrote: > >> > The comment in guix/swh.scm says ';FIXME: factorize'. Does it means: >> > move it in the file 'guix/utils.scm'? >> >> I believe the (shameful) reason is that the closure of (guix swh) is >> imported no the build

Re: [GNU-linux-libre] Replacing Yocto with Guix kernel image builds: best practices

2020-05-17 Thread Begley Brothers Inc
On Sun, May 17, 2020 at 10:55 PM Ricardo Wurmus wrote: > > Hi, > > [+guix-devel, -gnu-linux-libre] > > > We are now looking to build Linux kernels using Guix instead of Yocto. > We > > can't see any reason why the builds wouldn't be linux-libre. Ideally we'd > > like our effort to be accepted by

Re: Replacing Yocto with Guix kernel image builds: best practices

2020-05-17 Thread Begley Brothers Inc
On Sun, May 17, 2020 at 11:21 PM Efraim Flashner wrote: > On Sun, May 17, 2020 at 09:41:00PM +1000, Begley Brothers Inc wrote: > > Hi, > > We are now looking to build Linux kernels using Guix instead of Yocto. > We > > can't see any reason why the builds wouldn't be linux-libre. Ideally we'd > >

Re: [offtopic] Funny footer (was: Replacing Yocto with Guix kernel image builds: best practices)

2020-05-17 Thread Trevor Lee
No doubt there is lots about my life and the things I do that you think I should change ;) No offense taken. Moving on. On Mon, May 18, 2020 at 2:59 AM Josh Marshall < joshua.r.marshall.1...@gmail.com> wrote: > Yeah, I noticed this, too but wasn't going to say anything. That footer > is

Re: [offtopic] Funny footer (was: Replacing Yocto with Guix kernel image builds: best practices)

2020-05-17 Thread Josh Marshall
Yeah, I noticed this, too but wasn't going to say anything. That footer is outlandish. I think you ought to nix the whole thing. On Sun, May 17, 2020, 09:29 Dmitry Alexandrov wrote: > My apologies to Guix devs for offtopic (I hope adding an appropriate tag > to subject is enough not to

[PATCH] gnu: fontconfig: Add replacement with font-dejavu instead of gs-fonts.

2020-05-17 Thread Marius Bakke
This fixes and . Reported by Pierre Neidhardt, W Knight, and others. * gnu/packages/fontutils.scm (fontconfig)[replacement]: New field. (fontconfig/font-dejavu): New variable. --- Guix, This is a hack to make (some) fonts working when

Re: [offtopic] Funny footer (was: Replacing Yocto with Guix kernel image builds: best practices)

2020-05-17 Thread Dmitry Alexandrov
My apologies to Guix devs for offtopic (I hope adding an appropriate tag to subject is enough not to disturb those who do not want to be disturbed), but I could not pass this by: Trevor Lee wrote: >1. *The content of this email is confidential and intended for the > recipient specified in

Re: Replacing Yocto with Guix kernel image builds: best practices

2020-05-17 Thread Efraim Flashner
On Sun, May 17, 2020 at 09:41:00PM +1000, Trevor Lee wrote: > Hi, > We are now looking to build Linux kernels using Guix instead of Yocto. We > can't see any reason why the builds wouldn't be linux-libre. Ideally we'd > like our effort to be accepted by upstream guix. > > However, being new to

Re: [GNU-linux-libre] Replacing Yocto with Guix kernel image builds: best practices

2020-05-17 Thread Ricardo Wurmus
Hi, [+guix-devel, -gnu-linux-libre] > We are now looking to build Linux kernels using Guix instead of Yocto. We > can't see any reason why the builds wouldn't be linux-libre. Ideally we'd > like our effort to be accepted by upstream guix. […] > We'd appreciate any pointers to package

Replacing Yocto with Guix kernel image builds: best practices

2020-05-17 Thread Trevor Lee
Hi, We are now looking to build Linux kernels using Guix instead of Yocto. We can't see any reason why the builds wouldn't be linux-libre. Ideally we'd like our effort to be accepted by upstream guix. However, being new to Guix we are still coming grips with the best practice(s) for what we

Re: Out-of-date Mesa

2020-05-17 Thread Pierre Neidhardt
By "Vulkan packages", do you mean these? - vkd3d - vulkan-headers - vulkan-loader - vulkan-tools I don't have the processing power at the moment to perform those build rebuilds, otherwise I'd be happy to help! -- Pierre Neidhardt https://ambrevar.xyz/ signature.asc Description: PGP signature

Re: Out-of-date Mesa

2020-05-17 Thread Marius Bakke
Pierre Neidhardt writes: > Hi! > > I see that our Mesa 19.3.4 is out-of-date. 20.0.0 was released last February > and > 20.0.7 was released on May 14th: > > https://mesa3d.org/ The 'staging' branch has Mesa 20.0.7. > I'm wondering why a recent Mesa wasn't including in the last core-update >