https://guix.gnu.org/ is offline

2022-10-18 Thread Brendan Tildesley
https://guix.gnu.org/ doesn't load for me and another person in IRC curl https://guix.gnu.org/ curl: (7) Failed to connect to guix.gnu.org port 443 after 1838 ms: No route to host

Re: Notes from discussion on Quality Assurance from the 10 Years of Guix event

2022-10-18 Thread Tanguy LE CARROUR
Hi Chris, Quoting Tanguy LE CARROUR (2022-10-05 16:01:40) > Quoting Christopher Baines (2022-09-18 17:55:30) > > […] > > - Maybe script making contributions like updating packages > > - Make a similar tool to Debian's how can I help > >- Try to avoid suggesting updating packages with lots of

Re: Creating an Emacs Home Configuration Service

2022-10-18 Thread jbranso
October 17, 2022 7:12 PM, "Zain Jabbar" wrote: > Aloha Guix Development Team, > > Thank you for this email. Your advice was directed very kindly and is > very helpful. I have tried to revise the code based on your email. I > also checked the setting for plaintext mode in GMail; I hope this > mak

Re: Add earlyoom service to %desktop-services?

2022-10-18 Thread Attila Lendvai
another +1 from me, too: i've been greatly annoyed by this on my 8GB laptop. on 16GB i'm still occasionally screwed when i compile something large. i've spent quite some time trying to configure the kernel to no avail. -- • attila lendvai • PGP: 963F 5D5F 45C7 DFCD 0A39 -- “There is never a bet

Re: Add earlyoom service to %desktop-services?

2022-10-18 Thread Maxim Cournoyer
Hi, jbra...@dismail.de writes: > October 17, 2022 7:24 AM, "Pkill9" wrote: > >> I think that the earlyoom service is a necessity for a Guix system >> desktop. >> >> For those who don't know what it does, EarlyOOM (early out-of-memory) >> is a daemon that kills applications when the amount of me

Guix talk at Capitole du Libre at Toulouse

2022-10-18 Thread zimoun
Hi, On Mon, 26 Sep 2022 at 23:30, zimoun wrote: > I did a proposal for a talk. If it is accepted, then I will be > there. :-) The talk had been accepted. So I will be there. :-) If people will be in Toulouse [1] this week-end (19, 20 Nov), please reach me off-list to synchronize. It could b

Re: bug#58417: Installer script no longer works with `yes` utility

2022-10-18 Thread zimoun
Hi, On Mon, 17 Oct 2022 at 17:22, Maxim Cournoyer wrote: > What do you mean by 'default | ./install.sh' ? Nothing relevant. :-) > I think Tobias' point > was to have the ability for a newline (RET) to mean either YES or NO, > compared to the curr

Types and builds for mypy

2022-10-18 Thread Philip Beadling
Hi all Users of mypy and python will have noticed since the promotion of mypy to v0. 971 it is now neccesary to provide separate python packages containing types of non core libraries. The way we've been collecting these, outside of Guix proper, is in a single module called python-types, which