Re: New build system: copy-build-system

2020-02-18 Thread Alex Griffin
I was looking to package [PaperWM][1][2] today, a tiling window manager extension for gnome-shell. To my surprise, it's an excellent candidate for copy-build-system! So I think I will wait for this to merge first. Good job with this! -- Alex Griffin [1]: https://github.com/paperwm/PaperWM [2]:

Re: 01/02: build: gnu-build-system: Don't run configure during bootstrap.

2020-02-18 Thread Marius Bakke
Bengt Richter writes: >> Why would we want to know whether a package build process has a problem >> with that particular variable? > Debugging unexpected results? As fun as that is, I think we have enough things to debug already! :-) > I was reacting to > ┌─

Re: Using the Hetzner Cloud

2020-02-18 Thread Jonathan Brielmaier
On 17.02.20 18:15, Alex Sassmannshausen wrote:> This is by far the fastest way of deploying to Hetzner VMs I've found > yet. > > It also means you can use Hetzner's CLI for creating and managing your > VMs. > > It's on my to do list to create a solid guix deploy server creation > module for guix.

Re: Using the Hetzner Cloud

2020-02-18 Thread Jonathan Brielmaier
On 17.02.20 17:55, Ellen Papsch wrote:> a few days ago I requested the Guix installer from Hetzner as well. I > gave them the ISO URL from Guix website. They mounted it without > modification, which prevented boot due to the image being compressed. I > had to supply the uncompressed image, which bo

Missing substitutes and TIMEOUT property (Racket, MAME)

2020-02-18 Thread Pierre Neidhardt
Hi! Some packages are frequently without substitutes, like Racket and MAME. Link between the two? They both take a long time to build. So I wonder if this is not because the build somehow timeouts. I see that there is a `timeout' property on packages like chromium, qtwebkit, etc. Would it make

Re: Using the Hetzner Cloud

2020-02-18 Thread Giovanni Biscuolo
Hello Alex, Alex Sassmannshausen writes: [...] > Now I use a different approach: deploy a debian server then use a > guix-infect style script (gleaned from the guix deploy code for digital > ocean). could you please share that "guix-infect" script? I think this could/should become an entry in

Re: Using the Hetzner Cloud

2020-02-18 Thread Ellen Papsch
Am Montag, den 17.02.2020, 18:15 +0100 schrieb Alex Sassmannshausen: > > > So I deploy debian, then copy across a script and run that. This > takes > care of turning the debian machine into a guix machine and deploys my > sys config immediately. > > This is by far the fastest way of deploying

RE: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-18 Thread Orians, Jeremiah (DTMB)
>> > The term "nothing" is mitigated; i.e. "nothing" means: a booted system >> > running a (linux) kernel. Right? >> No, I mean bootstrapped from bare metal. >> No Kernel >> No firmware >> No microcode >> No Bios >> Just individual TTL logic circuits > Is it ready yet? Well the parts all the way t

Re: Guix Data Services: whishlist about SWH

2020-02-18 Thread zimoun
Hi Chris, On Sun, 16 Feb 2020 at 10:00, Christopher Baines wrote: > I think the first step towards this would be to experiment with fetching > data from the Software Heritage API. Do you know how you'd fetch data > about the output from a fixed output derivation (like harfbuzz)? > > http://data.