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

2022-10-19 Thread Brendan Tildesley
On 20/10/22 07:00, jbra...@dismail.de wrote: October 19, 2022 1:18 AM, "Brendan Tildesley" wrote: 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 Thanks for

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

2022-10-19 Thread Tobias Geerinckx-Rice
Brendan Tildesley 写道: https://guix.gnu.org/ doesn't load for me and another person in IRC Thanks! You can follow along with debugging at . Kind regards, T G-R signature.asc Description: PGP signature

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread Zain Jabbar
Aloha All, Thank you for your input! It's all been very constructive. I will do my best on that patch. On Wed, Oct 19, 2022 at 10:56 AM wrote: > > October 19, 2022 4:25 PM, "Zain Jabbar" wrote: > > > Aloha All, > > > > Thank you for your insightful messages. Sorry my code did not work as > >

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

2022-10-19 Thread jbranso
October 19, 2022 1:18 AM, "Brendan Tildesley" wrote: > 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 Thanks for reporting! I would encourage you to

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread jbranso
October 19, 2022 4:25 PM, "Zain Jabbar" wrote: > Aloha All, > > Thank you for your insightful messages. Sorry my code did not work as > smoothly as I would have liked. I have a =home-environment= definition > that hopefully works for you. You can put everything into one > configuration as you

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread Zain Jabbar
Aloha All, Super awesome to hear from you! I'm quite star stuck. Thank you for showcasing Andrew Tropin's rde project. I believe the =features= abstraction have potential and make more intuitive sense for the design of configurable programs. There is a lot for me to learn from this design

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread Zain Jabbar
Aloha All, Thank you for your insightful messages. Sorry my code did not work as smoothly as I would have liked. I have a =home-environment= definition that hopefully works for you. You can put everything into one configuration as you described. I do that in the following source block. For some

Re: GNU Mes 0.24.1 released

2022-10-19 Thread Efraim Flashner
On Wed, Oct 19, 2022 at 09:41:20PM +0200, Janneke Nieuwenhuizen wrote: > Ludovic Courtès writes: > > Hey! > > > Janneke Nieuwenhuizen skribis: > > > > This is exciting news! Looking forward to having full-source > > bootstrapped AArch64… and it looks like there’s already activity on a > >

Re: How long does it take to run the full rustc bootstrap chain?

2022-10-19 Thread Efraim Flashner
On Sat, Oct 15, 2022 at 09:33:23AM +0200, Félix Baylac Jacqué wrote: > Hey Guix, > > I'd be curious to know how long it takes to run the full rustc bootstrap > chain on the Guix build farm. I'm sadly not sure how to approach this > problem. > > Is there a way to extract this information from

Re: GNU Mes 0.24.1 released

2022-10-19 Thread Janneke Nieuwenhuizen
Ludovic Courtès writes: Hey! > Janneke Nieuwenhuizen skribis: > > This is exciting news! Looking forward to having full-source > bootstrapped AArch64… and it looks like there’s already activity on a > ‘wip-’ branch. Yes, it is! The ARM bootstrap story is still a bit flakey, as stage0-posix

Re: crate importer throws

2022-10-19 Thread Efraim Flashner
On Sat, Oct 15, 2022 at 02:58:53PM +0200, Csepp wrote: > > Maxime Devos writes: > > > Could you check if > > > > $ guix shell --pure -- "$(which guix)" import crate the-way > > > > (i.e. a pure environment without any packages) works for you? Maybe > > somehow there is some other guile-semver

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

2022-10-19 Thread Efraim Flashner
On Tue, Oct 18, 2022 at 06:19:18PM +0200, Tanguy LE CARROUR wrote: > 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

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread jbranso
October 18, 2022 3:42 PM, "Zain Jabbar" wrote: > Here is a minimal reproducible(-ish needs change in module name) > example configuration which installs =emacs-debbugs= (and not much > else). Cool I am CC-ing guix devel. > #+BEGIN_SRC scheme > (define-module (zaijab minimal-working-example) >

Re: Creating an Emacs Home Configuration Service

2022-10-19 Thread Ludovic Courtès
Hi Zain, and welcome! Zain Jabbar skribis: > Running =guix home search emacs= returns nothing. I also could not find an > email using =C-u M-x debbugs-gnu= about an Emacs configuration service. > > This is my first email to this mailing address. Please give me pointers on > formatting and

Re: GNU Mes 0.24.1 released

2022-10-19 Thread Ludovic Courtès
Howdy, Janneke Nieuwenhuizen skribis: > We are happy to announce the release of GNU Mes 0.24.1, representing 23 > commits over five months by four people. > > Mes now supports the stage0-posix and M2-Planet Full Source bootstrap on > Aarch64 for ARM. Because stage0-posix does not support ARM

Re: What 'sh' should 'system' use?

2022-10-19 Thread Ludovic Courtès
Hi, Philip McGrath skribis: > This makes sense as far as using 'bash-static' in Glibc. The aspects I'm > unsure > of are: > > 1. If I'm packaging software that implements a function like 'system' > (e.g. Racket, SML/NJ, Chez Scheme, etc.), should I use 'bash-minimal' or >

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

2022-10-19 Thread zimoun
Hi Tanguy, On Tue, 18 Oct 2022 at 18:19, Tanguy LE CARROUR wrote: > ```console > $ guix package -I | awk '{print $1}' | tr '\n' ' ' | xargs guix refresh 2>&1 > | ag -v "already" | ag -v "failed" | ag -v "no updater" | ag -v "warning" > ``` > > Yeah, I know… ugly! But, it does (part of) the

Booth at FOSDEM (Brussels), 4-5 Feb 2023?

2022-10-19 Thread zimoun
Hi, As the winter, FOSDEM 2023 is coming… https://fosdem.org/2023 Three questions: 1. do we run for a booth? 2. who is in? 3. who is volunteer to make that happens? Well, #1 is a good opportunity to expose the beautiful kakemodo [1]. :-) If we go for a booth and if we are accepted,

Re: elogind configuration

2022-10-19 Thread Ludovic Courtès
Hi, Antonio Carlos Padoan Junior skribis: > I do not know why but "suspend" stopped working on my computer > after a recent upgrade (pull & reconfigure). By that you mean that ‘loginctl suspend’ doesn’t have any effect? I’ve just tried on my laptop and it works for me with this system