Re: "random check" approach to Guix QA?

2023-11-22 Thread Csepp
Andy Tai writes: > Hi, currently Guix QA tries to rebuild all dependent packages impacted > by a change (in majority of cases updates to a new version of a > package). When there are a large number of dependent packages like > say 500 or 1000 or more, rebuilding all that takes a long time and

Re: guix refresh --update Removes Needed Dependencies

2023-11-22 Thread Csepp
"jgart" writes: > Hi Guixers, > > `guix refresh --update` removes Tex Dependencies that are needed. This makes > it more tedious to update packages :( > > See the diff below which was the result of running: > > ./pre-inst-env guix refresh --update python-sphinx > > Diff: > > [jgart@fedora guix

Re: Upgrading Guix's security team

2023-11-22 Thread Ludovic Courtès
Hello, Efraim Flashner skribis: > On Fri, Nov 17, 2023 at 11:31:41PM -0500, Maxim Cournoyer wrote: [...] >> > If maintainers agree (Cc’d), I invite you to add your name and a >> > termination date to the security page, remove my name, and subscribe to >> > guix-security. We should add a term

Re: Request-For-Comment process: concrete implementation

2023-11-22 Thread Ludovic Courtès
Simon Tournier skribis: > On Thu, 16 Nov 2023 at 16:03, Ludovic Courtès wrote: > >> Thanks for starting the discussion! I think that getting such a process >> in place is key to sustain friction-less development of Guix, giving >> everyone a chance to have their voice heard. > > Do you have com

Re: $EDITOR and “guix edit”

2023-11-22 Thread Ludovic Courtès
Hello, Liliana Marie Prikler skribis: > Am Donnerstag, dem 16.11.2023 um 16:25 +0100 schrieb Ludovic Courtès: [...] >> It’d be nice to support these as well.  However, how do we know we’re >> dealing with kate or VSCode?  By checking the basename of $EDITOR? >> Kinda ugly and brittle, but prob

Re: Building and caching old Guix derivations for a faster time machine

2023-11-22 Thread Ludovic Courtès
Hi, Maxim Cournoyer skribis: >> I agree. The ‘guix publish’ TTL¹ at ci.guix was increased to 180 days >> following in 2021. That’s still not >> that much and these days and right now we have 84 TiB free at ci.guix. >> >> I guess we can afford increasing the

Re: Upgrading Guix's security team

2023-11-22 Thread Leo Famulari
On Wed, Nov 22, 2023 at 07:16:21PM +0100, Ludovic Courtès wrote: > Leo, Tobias, and John: What would be a good end-of-term date for each > one of you? As I see it, it wouldn’t mean you cannot do an additional > term but rather that you’ll have an opportunity to leave and that you’ll > do your best

Re: Upgrading Guix's security team

2023-11-22 Thread Tobias Geerinckx-Rice
Great, I was waiting for someone to reply so's to glom on and ask to be included in the same commit to minimise noise. So, there. Kind regards, T G-R Sent on the go. Excuse or enjoy my brevity.

Segmentation fault

2023-11-22 Thread Ignas Lapėnas
Hi everyone, I’m not sure where I should register this, so I’m writing here. Running system vm following the time-machine gives out segmentation fault. guix time-machine –commit=v1.3.0 – system vm config.scm If I understand correctly the time-machine should pull the sources with the tagged commi

Re: $EDITOR and “guix edit”

2023-11-22 Thread Liliana Marie Prikler
Am Mittwoch, dem 22.11.2023 um 19:21 +0100 schrieb Ludovic Courtès: > Hello, > > Liliana Marie Prikler skribis: > > > Am Donnerstag, dem 16.11.2023 um 16:25 +0100 schrieb Ludovic > > Courtès: > > [...] > > > > It’d be nice to support these as well.  However, how do we know > > > we’re > > > de

Re: Segmentation fault

2023-11-22 Thread Development of GNU Guix and the GNU System distribution.
Hi there > I’m not sure where I should register this, so I’m writing here. > Running system vm following the time-machine gives out segmentation fault. > > guix time-machine –commit=v1.3.0 – system vm config.scm Could you please provide the contents of a config.scm file that could be used to rep

Re: Segmentation fault

2023-11-22 Thread Ignas Lapėnas
> Could you please provide the contents of a config.scm file that could > be used to reproduce the problem? Attaching the config.scm Cleaned it up a lot from my system, still getting the seg fault. No seg fault when running directly tho. Also I can see that my email client converts double dashes to

Banana Pi BPI-R4 support?

2023-11-22 Thread Attila Lendvai
dear Guix, i'm hoping to run Guix on this Arm Corex-A73 board: https://wiki.banana-pi.org/Banana_Pi_BPI-R4 MediaTek MT7988A (Filogic 880) i'm clueless about how to add support for a new platform to guix, but i'm experienced in guile, and in hacking near the metal. with that in mind: how hard/

Re: Add anchors in HTML documentation

2023-11-22 Thread Ludovic Courtès
Hi, Christian Miller skribis: > it would be a nice feature to have actual anchors in the HTML > documentation. I mean with that, that there is an anchor symbol which > upon clicking, copies the exact URL to this section in the HTML > documentation. > > This is useful, since currently I always n

Re: Confusing overview of mailing lists

2023-11-22 Thread Ludovic Courtès
Efraim Flashner skribis: > On Thu, Nov 16, 2023 at 02:37:43AM +0100, Erik Grun wrote: [...] >> Personally I find the links to the mailing list archives on the "Contact" >> page a bit confusing. Because on the first look it appears, as if those list >> are "archived". It looks even more so since

Re: guix refresh --update Removes Needed Dependencies

2023-11-22 Thread Ludovic Courtès
Hi jgart, "jgart" skribis: > ./pre-inst-env guix refresh --update python-sphinx [...] > - ;; The Sphinx LaTeX library '\RequirePackage' or \\usepackage > - ;; these: > - texlive-amsfonts ;amsmath, amssymb, amstext > - texlive-amsmath > -

Re: Better support remote deployment

2023-11-22 Thread Maxim Cournoyer
Hi, Tomas Volf <~@wolfsden.cz> writes: [...] > I was following the debate, but maybe I have missed something, so I will put > forward my use case as well. I have two properties I would like to have from > a > "remote deploy" mechanism, and they are not satisfied by SSH-ing to the > machine >

Re: Upgrading Guix's security team

2023-11-22 Thread John Kehayias
Hi Ludo’ and everyone else, On Wed, Nov 22, 2023 at 07:16 PM, Ludovic Courtès wrote: > Hello, > > Efraim Flashner skribis: > >> On Fri, Nov 17, 2023 at 11:31:41PM -0500, Maxim Cournoyer wrote: > > [...] > >>> > If maintainers agree (Cc’d), I invite you to add your name and a >>> > termination da

Re: Request-For-Comment process: concrete implementation

2023-11-22 Thread Efraim Flashner
On Tue, Oct 31, 2023 at 12:14:42PM +0100, Simon Tournier wrote: > Hi, > > This is a proposal for implementing Request-For-Comment process. > Comment are welcome in #66844 [1]: > > 1: https://issues.guix.gnu.org/issue/66844 > > > The proposal is highly inspired by Rust RFC: > > https://

Re: guix refresh --update Removes Needed Dependencies

2023-11-22 Thread Efraim Flashner
On Wed, Nov 22, 2023 at 10:45:48PM +0100, Ludovic Courtès wrote: > Hi jgart, > > "jgart" skribis: > > > ./pre-inst-env guix refresh --update python-sphinx > > [...] > > > - ;; The Sphinx LaTeX library '\RequirePackage' or \\usepackage > > - ;; these: > > - texlive

Re: Guix Days & Declarative and Minimalistic Computing: CfP for FOSDEM 2024

2023-11-22 Thread Pjotr Prins
Dear all, The first weekend of February we have a half day at FOSDEM on Declarative and Minimalistic Computing: => https://libreplanet.org/wiki/FOSDEM2024-devroom-declarative-and-minimalistic-computing-cfp This is the 5th time we are organising this room with Guix and Guile talks! Please spread

Re: Segmentation fault

2023-11-22 Thread Ignas Lapėnas
Hi all, Apparently It’s my stupid mistake. Forgot to use “sudo” when running guix system before time-machine. Works: sudo guix time-machine --commit=v1.3.0 –-channels=./channels.scm -- system vm config.scm Segfaults: guix time-machine --commit=v1.3.0 –-channels=./channels.scm -- system vm conf