Re: Alternative syntax for interacting with the store monad

2025-01-20 Thread Maxim Cournoyer
Hi Simon,

Simon Tournier  writes:

> Hi Maxim,
>
> On Fri, 03 Jan 2025 at 00:04, Maxim Cournoyer  
> wrote:
>
>>  (I sometimes dabble with
>> the monad, and the reason I don't do it more often at the REPL is partly
>> because I need to retrain myself how to use it every time :-)).
>> Something more intuitive could help
>
> Well, if we are speaking about REPL, I think one direction to explore
> seems about meta command.  Time to time, I use run-in-store or
> enter-store-monad and for my use cases, they have been enough.
>
> Could you provide an example of what you would like to run from the
> REPL?

Sorry, it's been a while since I needed to do so and don't have an
example at hand, but I do know about (guix monad-repl) and use it.
Perhaps I was trying to come up with some more complex piece of code in
a module, and had to use the monadic interface.

Anyway, I'll try to drop by here next time I face such a real
scenario/example.

-- 
Thanks,
Maxim



Re: [bug#75145] [PATCH v2 0/1] services: network-manager: Add extra-configuration-files field.

2025-01-20 Thread Maxim Cournoyer
Hi 45mg,

45mg <45mg.wri...@gmail.com> writes:

[...]

> Thanks, good to know. Will try to keep that in mind. I do wish there was
> something I could do to get things moving faster, but I guess this is a
> limitation of projects that run on (primarily) unpaid volunteer work :/

As mentioned by Ricardo, a good way to try to tackle the load would be
to get involved with a Guix team and conduct reviews.  There's no need
to be an expert; even just spotting typos and small details help.  If
you have time, applying it locally and giving it a try and sharing your
experience is also very valuable.

-- 
Thanks,
Maxim



Re: Cgit disabled on Savannah

2025-01-20 Thread Jordan Moore
Hi guix,

I'll toss it out there that rwp on #savannah mentioned that automated use of 
savannah git should use the smart git anon interface if possible, eg. making a 
dumb git crawler might be a long term solution to get the bootstrap artifacts 
to survive outages like this.

To work around the current 429 could we get the people maintaining the mirrors 
in bootstrap.scm to host the latest bootstrap bins? Afaics we're currently 
unable to install new binary installations on rv64 and aarch64 at the least due 
to 404s on all the mirrors. Haven't checked anything else though I'd assume 
it's the same story.

Thanks!

- Jordan


Re: Cgit disabled on Savannah

2025-01-20 Thread Munyoki Kilyungi
Ludovic Courtès  aliandika:

> Hello,
>
> In case you haven’t seen it, cgit is disabled (permanently?) on
> Savannah:
>
>   https://hostux.social/@fsfstatus/113845788160755310
>
> Ludo’.
>
Also, downloading the git installer from git craps
out.  See:

--8<---cut here---start->8---
╭─munyoki@saitama ~
╰─➤  wget https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh
--2025-01-20 21:03:04--  
https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh
wget: /home/munyoki/.netrc:1: unknown token 
"01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b"
Resolving git.savannah.gnu.org (git.savannah.gnu.org)... 209.51.188.78, 
2001:470:142:6::78
Connecting to git.savannah.gnu.org (git.savannah.gnu.org)|209.51.188.78|:443... 
connected.
HTTP request sent, awaiting response... 429 Too Many Requests
2025-01-20 21:03:05 ERROR 429: Too Many Requests.
--8<---cut here---end--->8---

Perhaps related?

-- 
(Life is like a pencil that will surely run out,
but will leave the beautiful writing of life)
(D4F09EB110177E03C28E2FE1F5BBAE1E0392253F
(hkp://keys.openpgp.org))


signature.asc
Description: PGP signature


Re: Cgit disabled on Savannah

2025-01-20 Thread Development of GNU Guix and the GNU System distribution.
Hi,

On Mon, Jan 20, 2025 at 09:04 PM, Munyoki Kilyungi wrote:

> Ludovic Courtès  aliandika:
>
>> Hello,
>>
>> In case you haven’t seen it, cgit is disabled (permanently?) on
>> Savannah:
>>
>>   https://hostux.social/@fsfstatus/113845788160755310
>>
>> Ludo’.
>>

That's disappointing; I found it a quick way to browse the log, commits,
and code often. The gitweb interface is still up:
.

> Also, downloading the git installer from git craps
> out.  See:
>
> --8<---cut here---start->8---
> ╭─munyoki@saitama ~
> ╰─➤  wget https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh
> --2025-01-20 21:03:04--
> https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh
> wget: /home/munyoki/.netrc:1: unknown token
> "01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b"
> Resolving git.savannah.gnu.org (git.savannah.gnu.org)... 209.51.188.78, 
> 2001:470:142:6::78
> Connecting to git.savannah.gnu.org 
> (git.savannah.gnu.org)|209.51.188.78|:443... connected.
> HTTP request sent, awaiting response... 429 Too Many Requests
> 2025-01-20 21:03:05 ERROR 429: Too Many Requests.
> --8<---cut here---end--->8---
>
> Perhaps related?

That would be my guess. I think I saw a report of that yesterday on
#guix. I'm assuming it is from following the Binary Installation
instructions at
.

So, assuming the gitweb interface stays up, we could replace the link
with
.
Or maybe there is a better way to wget that file? And while we're at it,
we should provide a hash for that to be verified against, no?

John




Cgit disabled on Savannah

2025-01-20 Thread Ludovic Courtès
Hello,

In case you haven’t seen it, cgit is disabled (permanently?) on
Savannah:

  https://hostux.social/@fsfstatus/113845788160755310

Ludo’.