Re: right location for gitlab-runner

2019-12-30 Thread Ludovic Courtès
Hello! "Reza Alizadeh Majd" skribis: > I had prepare a package for `gitlab-runner`: > https://docs.gitlab.com/runner/ > > but I'm not sure about the right place to submit regarding > patch. is the `gnu/packages/ci.scm` is a good location to > submit this package? Sure, sounds good! Ludo’.

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

2019-12-30 Thread Ludovic Courtès
Hello, Brett Gilio skribis: > Ludovic Courtès writes: > >> The domain name would have to be discussed with others (other >> maintainers in particular; perhaps a better choice would be >> formal-methods.guix.info or fm.guix.info, next to hpc.guix.info), but >> the idea sounds great to me! > > Th

Re: bug#22883: Authenticating Git checkouts: step #1

2019-12-30 Thread Ludovic Courtès
Hello! Vagrant Cascadian skribis: > On 2019-12-27, Ricardo Wurmus wrote: [...] >> Thank you for the instructions. I thought I had all keys, but >> apparently at least one of them is missing. “make authenticate” fails >> for me with this error: >> >> Throw to key `srfi-34' with args `(#> auth

Re: bug#22883: Authenticating Git checkouts: step #1

2019-12-30 Thread Ludovic Courtès
Hi, "Alex Griffin" skribis: > Do I need to update anything on Savannah when I extend the expiration of my > GPG key? On January 1st, I think my key will appear to expire unless the > keyring was refreshed very recently. It’s better if you update your key on Savannah. However, expiration date

Building a bootable disk image for A20-OLinuXino

2019-12-30 Thread Ludovic Courtès
Hello! In my quest to get Guix System on an Olimex A20-Olinuxino, I tried: guix system disk-image -s armhf-linux --image-size=16G config.scm where ‘config.scm’ reads: (bootloader (bootloader-configuration (bootloader u-boot-a20-olinuxino-micro-bootloader) (ta

Re: Loading modules built using linux-module-build-system

2019-12-30 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: > On Sun, 17 Nov 2019 21:35:32 +0100 > Ludovic Courtès wrote: >> Rather than a list, we could have a ‘make-linux-libre-union’ procedure >> returning a , so that we preserve consistent typing. >> >> That is, people could write: >> >> (kernel linux-libre) >

Re: Cross-compilation broken on canonical packages.

2019-12-30 Thread Ludovic Courtès
Hi, Mathieu Othacehe skribis: >> This is expected: packages in ‘%final-inputs’ (those returned by >> ‘canonical-package’) are rooted in the bootstrap graph and cannot be >> cross-compiled. > > Looking at canonical-package in (gnu packages commencement), I see that > there's already a switch on (

Re: GRUB and installer invisible on serial console

2019-12-30 Thread Ludovic Courtès
Hello! Brice Waegeneire skribis: > I also had to tweak my BIOS settings to have a reliable serial > connection. > > (kernel-arguments > '("quiet" "console=tty0" "console=ttyS0,115200")) > >(bootloader > (bootloader-configuration >(bootloader grub-efi-bootloader) >

Re: extending the documentation of the Scheme API

2019-12-30 Thread Ludovic Courtès
Hi! Jan Nieuwenhuizen skribis: >> we have lots of nice macros and procedures in Guix that aren’t >> documented beyond their docstrings. >> >> Should we snarf the docstrings and add them to the manual? > > If you are talking about guix records and (guix build utils); I think it > would be great i

Re: Command line option in addition to GUIX_PACKAGE_PATH - Reason?

2019-12-30 Thread zimoun
Hi Danny, Thank you for your insights. On Thu, 26 Dec 2019 at 21:31, Danny Milosavljevic wrote: > ... why? There's the environment variable already--what does it give us > to have yet another way to specify the value? >From my opinion, the answers to the why is: - because it is easier to exp

Re: System monitoring

2019-12-30 Thread Arun Isaac
> I was looking to deploy Nagios on our servers, but I am discouraged by > its architecture. I would like something minimalistic that can run > anywhere (including small routers). I have been looking for minimalistic monitoring systems too and it would be great to have one written in Guile. I can