Re: 03/03: publish: Provide server's signing key.

2020-10-31 Thread Ludovic Courtès
Hi Jonathan, Jonathan Brielmaier skribis: > I think this commits lacks a bit of documentation. Users should get > known of this fact, admins as well as "consumers" of guix publish. > > It's a nice feature. Until yet I did server the signing-key as file via > nginx from the webroot. Now I guess I

Re: 03/03: publish: Provide server's signing key.

2020-10-31 Thread Jonathan Brielmaier
On 31.10.20 11:33, Ludovic Courtès wrote: > Hi Jonathan, > > Jonathan Brielmaier skribis: > >> I think this commits lacks a bit of documentation. Users should get >> known of this fact, admins as well as "consumers" of guix publish. >> >> It's a nice feature. Until yet I did server the signing-key

Re: bug#43879: Problem with graphical installer

2020-10-31 Thread Miguel Ángel Arruga Vivas
Hi, I CC the list, as we are currently on freeze, but this might require a fix or at least a big explanation somewhere, my bad for not answering soon enough. :-( Marinus Savoritias writes: > Hi, > > The steps that I followed were: > > 1. Use guided installation using full disk with graphical ins

Re: bug#43879: Problem with graphical installer

2020-10-31 Thread Marinus Savoritias
On 10/31/20 1:04 PM, Miguel Ángel Arruga Vivas wrote: Hi, I CC the list, as we are currently on freeze, but this might require a fix or at least a big explanation somewhere, my bad for not answering soon enough. :-( Marinus Savoritias writes: Hi, The steps that I followed were: 1. Use gu

Re: bug#43879: Problem with graphical installer

2020-10-31 Thread Marinus Savoritias
On 10/31/20 1:04 PM, Miguel Ángel Arruga Vivas wrote: Hi, I CC the list, as we are currently on freeze, but this might require a fix or at least a big explanation somewhere, my bad for not answering soon enough. :-( Marinus Savoritias writes: Hi, The steps that I followed were: 1. Use gu

Re: bug#43879: Problem with graphical installer

2020-10-31 Thread Marinus Savoritias
On 10/31/20 1:04 PM, Miguel Ángel Arruga Vivas wrote: Hi, I CC the list, as we are currently on freeze, but this might require a fix or at least a big explanation somewhere, my bad for not answering soon enough. :-( Marinus Savoritias writes: Hi, The steps that I followed were: 1. Use gu

Porting Guix to RISCV

2020-10-31 Thread Pjotr Prins
Anyone interested in porting GNU Mes and GNU Guix to RISCV? We can try and purchase the hardware. We have a Polarfire running https://www.crowdsupply.com/microchip/polarfire-soc-icicle-kit and there are more options coming. I am happy to support such an initiative and buy the hardware. Pj.

Re: Porting Guix to RISCV

2020-10-31 Thread Vagrant Cascadian
On 2020-10-31, Pjotr Prins wrote: > Anyone interested in porting GNU Mes and GNU Guix to RISCV? We can try > and purchase the hardware. We have a Polarfire running > > https://www.crowdsupply.com/microchip/polarfire-soc-icicle-kit > > and there are more options coming. I am happy to support such

Hunspell dictionaries

2020-10-31 Thread paul
Dear Guixers, I was packaging an Italian dictionary for Hunspell, when I found this link listing all the Hunspell dictionaries supported by Libreoffice [0]. This lead me to think about a function for defining dictionary packages (very much based on aspell-dictionary from (gnu packages aspell)

Re: Removing/replacing “Guix in action” video from the home page?

2020-10-31 Thread Ludovic Courtès
Hi Joshua, jbra...@dismail.de skribis: > I've got a two minute video now. How's this one? > > https://video.hardlimit.com/videos/watch/5d2cd193-4734-44c4-9455-1778e084a130 Thanks again for taking the time! I like this one better. It still has slightly annoying artifacts like --max-jobs > 1, s

Re: 03/03: publish: Provide server's signing key.

2020-10-31 Thread Ludovic Courtès
Hi, Jonathan Brielmaier skribis: > On 31.10.20 11:33, Ludovic Courtès wrote: >> Hi Jonathan, >> >> Jonathan Brielmaier skribis: >> >>> I think this commits lacks a bit of documentation. Users should get >>> known of this fact, admins as well as "consumers" of guix publish. >>> >>> It's a nice f

Re: A better way to access records.

2020-10-31 Thread Ludovic Courtès
Hi, Brendan Tildesley skribis: > In the guix codebase, on many occasions there appear things like this: > > (match-lambda >     (($ agetty tty term baud-rate auto-login >     login-program login-pause? eight-bits? no-reset? remote? > flow-control? >     host no-issue? init-string no-cle

Branching for v1.2?

2020-10-31 Thread Ludovic Courtès
Hi! Maxim Cournoyer skribis: [...] >>> From my point of view, it is easier to freeze 'master' since everybody >>> can "guix pull" and check that everything is fine. >>> Otherwise, instead of the freeze, let create the branch and so "guix >>> pull --branch=version-1.2.0". It is up to you. > >>

Re: Extending Guix without using the Guile load path

2020-10-31 Thread Ricardo Wurmus
Ludovic Courtès writes: > Hello! > > Ricardo Wurmus skribis: > >> I think it’s a bit difficult to install the Guix Workflow Language at >> this point and I’d like to change that. >> >> Currently, new sub-commands for Guix are looked up by module name on the >> Guile load path. When installing

Re: Extending Guix without using the Guile load path

2020-10-31 Thread Ricardo Wurmus
Ludovic Courtès writes: > Hello! > > Ricardo Wurmus skribis: > >> I think it’s a bit difficult to install the Guix Workflow Language at >> this point and I’d like to change that. >> >> Currently, new sub-commands for Guix are looked up by module name on the >> Guile load path. When installing

Re: Removing/replacing “Guix in action” video from the home page?

2020-10-31 Thread jbranso
I'm ok with that. I guess I'm not certain how to go about scripting this sort of thing. :( October 31, 2020 5:56 PM, "Ludovic Courtès" wrote: > Hi Joshua, > > jbra...@dismail.de skribis: > >> I've got a two minute video now. How's this one? >> >> https://video.hardlimit.com/videos/watch/5d

Re: [PATCH v3] .dir-locals.el: Automatically set the GEISER-GUILE-LOAD-PATH variable.

2020-10-31 Thread Miguel Ángel Arruga Vivas
Hi, Maxim Cournoyer writes: > Pushed to master as 0e1b0958bd. Sorry, this broke etc/indent-code.el and I didn't noticed, my bad. cl-lib is not loaded there and people noticed in the IRC channel. I've pushed 96d0f0b13819a68480e204716c1af6605cfdcb4c to solve this adding (require 'cl-lib) before t

Re: Branching for v1.2?

2020-10-31 Thread Miguel Ángel Arruga Vivas
Hi! Ludovic Courtès writes: [...] > There are a couple of pending issues, notably regarding locales in GRUB, > but nothing big hopefully, and nothing that changes the manual and > strings I believe. I've already pushed the changes for grub. The only missing bit I've noticed today during some te