Re: Testing the installer

2020-01-23 Thread Gábor Boskovits
Hello, Bengt Richter ezt írta (időpont: 2020. jan. 24., P, 0:08): > > Hello Gábor, > > On +2020-01-23 12:21:27 +0100, Gábor Boskovits wrote: > [...] > > > This is a bit off topic, but I am about to create an automatic > > installer, that is > > a candidate for a new backend. It currently works

Re: Testing the installer

2020-01-23 Thread Mathieu Othacehe
Hey! > I’ve pushed ‘wip-installer-test’, which implements said protocol. See > screenshot below! :-) Woow, that's impressive :) I just gave you access to Guile-newt repository so that you can integrate your changes. I will create a new release once its done. In the future, I would have

Re: Testing the installer

2020-01-23 Thread Gábor Boskovits
Hello Mathieu, Mathieu Othacehe ezt írta (időpont: 2020. jan. 23., Cs, 10:42): > > > Hey! > > > I’ve pushed ‘wip-installer-test’, which implements said protocol. See > > screenshot below! :-) > > Woow, that's impressive :) > > I just gave you access to Guile-newt repository so that you can >

Re: How should ambiguous package specifications be handled?

2020-01-23 Thread Tobias Geerinckx-Rice
Christopher, Christopher Baines 写道: We've had one for a while (itstool 2.0.6), and another has recently been introduced (sassc 3.6.1). Thanks for noticing this! The sassc variant being visible was definitely a mistake. I added it as a local variable first and forgot to hide it after

How should ambiguous package specifications be handled?

2020-01-23 Thread Christopher Baines
Hey, I'm aware of duplicate packages as the Guix Data Service identifies cases where there are two package definitions with the same name and version [1]. We've had one for a while (itstool 2.0.6), and another has recently been introduced (sassc 3.6.1). Guix will tell you that something is up

Re: cmake-build-system: modify-phases picks up wrong %standard-phases

2020-01-23 Thread Hartmut Goebel
Hi Ludo, thanks for the explanation. > If you do: > > #:modules ,%cmake-build-system-modules > > then you’re also putting (guix build gnu-build-system) in scope, hence > the collision for the ‘%standard-phases’ binding. I wonder whether this could this be avoided by changing the order:  

Re: Testing the installer

2020-01-23 Thread Ludovic Courtès
Hi! Mathieu Othacehe skribis: >> I’ve pushed ‘wip-installer-test’, which implements said protocol. See >> screenshot below! :-) > > Woow, that's impressive :) Glad you like it. :-) > I just gave you access to Guile-newt repository so that you can > integrate your changes. I will create a

Re: Documenting Yubikey setup

2020-01-23 Thread Martin Becze
> Did you write something for the cookbook? The only thing that I know to put in the cookbook is the below snippet. I think it should be expanded a bit. But I haven't had a chance to futher explore using Yubikey. I still have some problems using it with icecat that I need to figure out.

Re: how to test service changes

2020-01-23 Thread Martin Becze
Thanks Nicolo, after adding my user to the kvm group that works! On 1/22/20 2:50 AM, Nicolò Balzarotti wrote: Hi Martin, I think you can use ~./pre-inst-env guix system vm config.scm~ and test the service there. But maybe somebody else has better advices. Thanks, Nicolò Martin Becze

guix build --repair might not always work

2020-01-23 Thread Nicolò Balzarotti
#-*- org -*- Hello Guix! Sorry for the long mail, but I added all details I could think of in order to try to debug this error (). What happened: After a power failure during a guix pull + guix reconfigure, my /gnu/store ended up in a bad state. Emacs failed to run with errors like:

Re: Guix minor version update?

2020-01-23 Thread Ludovic Courtès
Hi! zimoun skribis: > Currently, the proposed Guix to install is v1.0.1. This very version > has some "bugs" [1] fixed since then [2]. But it is not convenient > when using with Docker [3]. > > Why not update the minor version to v1.1? It’s definitely time for this, and I agree with the “1.1”

GNU Mes 0.22 released

2020-01-23 Thread Jan Nieuwenhuizen
We are pleased to announce the release of GNU Mes 0.22, representing 57 commits over 8 weeks. Mes can now be built reproducibly by mes+mescc or guile+mescc across distributions such as GNU Guix, Debian GNU/Linux and NixOS. Also, many build issues were fixed. A big thank you to

Re: Documenting Yubikey setup

2020-01-23 Thread Brice Waegeneire
On 2020-01-23 14:22, Martin Becze wrote: Did you write something for the cookbook? The only thing that I know to put in the cookbook is the below snippet. I think it should be expanded a bit. But I haven't had a chance to futher explore using Yubikey. I still have some problems using it with

Re: Inverted index to accelerate guix package search

2020-01-23 Thread Arun Isaac
I'm having some difficulty with populating the sqlite database from within guix pull. I have sent a WIP patch to https://issues.guix.info/issue/39258 . Let's continue the conversation there. > You could write a hook similar to ‘generate-package-cache’ and commit it > locally. Then you can run:

Re: Guix minor version update?

2020-01-23 Thread Ludovic Courtès
Hi! Julien Lepiller skribis: > I agree releases are too far apart, when we have all of these new > things to show off to newcomers :) Agreed! I think we really need someone to pay attention to the schedule. It’s too hard for me and I guess for many of us to, at the same time, hack on new

Re: Guile 3 migration plan

2020-01-23 Thread Ludovic Courtès
Ludovic Courtès skribis: > Ludovic Courtès skribis: > >> However, on ARMv7, Guile 3.0 segfaults as it’s building: >> >> >> https://ci.guix.gnu.org/log/8b8c0hxvm9qa5kff168vdr3943cc2s61-guile-next-3.0.0 > > It seems that the regression happened between 2.9.4 and 2.9.9¹: > >

RE: [bootstrappable] GNU Mes 0.22 released

2020-01-23 Thread Orians, Jeremiah (DTMB)
> We are pleased to announce the release of GNU Mes 0.22, representing > 57 commits over 8 weeks. Great job as always Janneke, stage0's 0.3.0 release last week was far less impressive. -Jeremiah

Re: Guile 3 migration plan

2020-01-23 Thread Ricardo Wurmus
Ludovic Courtès writes: > Regardless, I would go ahead and move (guix self) to Guile 3 now. Sounds good to me! -- Ricardo

Re: Testing the installer

2020-01-23 Thread Bengt Richter
Hello Gábor, On +2020-01-23 12:21:27 +0100, Gábor Boskovits wrote: [...] > This is a bit off topic, but I am about to create an automatic > installer, that is > a candidate for a new backend. It currently works by providing a configuration > record, and then executes a few things from the

[Proposal] The Formal Methods in GNU Guix Working Group

2020-01-23 Thread Alexandru-Sergiu Marton
Hi all, I know I'm a bit late to the party but I want to express my support for this initiative. I have very little knowledge about formal methods - extracted from this thread, a few conversations with Brett and from skimming through the Wikipedia page. Despite this, I find the idea of a Formal