New template for 'guix' made available

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'guix' has been made available to the language teams for translation. It is archived as: https://translationproject.org/POT-files/gu

New template for 'guix-manual' made available

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'guix-manual' has been made available to the language teams for translation. It is archived as: https://translationproject.org/POT-f

New template for 'guix-packages' made available

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to .) A new POT file for textual domain 'guix-packages' has been made available to the language teams for translation. It is archived as: https://translationproject.org/POT

Re: Guix search, colors and INSIDE_EMACS

2020-02-13 Thread zimoun
Hi Pierre, On Thu, 6 Feb 2020 at 10:51, Pierre Neidhardt wrote: > Ricardo Wurmus writes: > > I suppose you are not using a comint-derived mode for your shell then. > > Precision: It works with M-x shell but not with Eshell. Yes, it is expected. 1. INSIDE_EMACS is set by 'comint-mode' http://

Re: Guix search, colors and INSIDE_EMACS

2020-02-13 Thread zimoun
On Wed, 12 Feb 2020 at 17:30, zimoun wrote: > 1. > By default with Emacs, *shell* is doing right and EShell not. Is it > coming from Emacs or other? Could the Emacs from Guix do always the > right thing? > > Other said, *shell* sets by default INSIDE_EMACS to "26.3,comint". And > EShell does noth

containerd fails to build

2020-02-13 Thread Tanguy Le Carrour
Hi Guix! containerd fails to build on my system! :-( ``` ❯ sudo guix system reconfigure ~/config/system.config.scm Password: building /gnu/store/gal5f2xm3476jvfpf2x91hjrp4ccj36i-containerd-1.2.5.drv... - 'check' phasebuilder for `/gnu/store/gal5f2xm3476jvfpf2x91hjrp4ccj36i-containerd-1.2.5.drv'

RE: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-13 Thread Orians, Jeremiah (DTMB)
> The term "nothing" is mitigated; i.e. "nothing" means: a booted system > running a (linux) kernel. Right? No, I mean bootstrapped from bare metal. No Kernel No firmware No microcode No Bios Just individual TTL logic circuits https://github.com/oriansj/stage0 > Thank you for all your contributio

RE: [Proposal] The Formal Methods in GNU Guix Working Group

2020-02-13 Thread Orians, Jeremiah (DTMB)
> ISTR someone made an initrd with guile in it, and "booted to guile." Yep amazing work that it is; someone also made emacs an initrd too > If that is so, does that not suggest that "from nothing" could be independent > of a running kernel? Actually no, bare metal is a bit different than running

Re: Port Guix to my Apple Aluminum PowerBook G4

2020-02-13 Thread Scott C. MacCallum
Sounds great, Efraim. Let me know if there's anything that I can do to help with your efforts. I'm new to this, so I'll need tutorial on the basics. Original Message On Feb 13, 2020, 2:36 AM, Efraim Flashner < efr...@flashner.co.il> wrote: On Wed, Feb 12, 2020 at 06:49:59PM +000

Re: Guix search, colors and INSIDE_EMACS

2020-02-13 Thread Alex Griffin
On Thu, Feb 13, 2020, at 9:30 AM, zimoun wrote: > Therefore, IMHO you need to set the environment variable by yourself > in your config file. Or send a patch upstream. > Because the reason is that EShell is not doing the right thing and it > is not compliant to the doc. Compliant to which doc? The

Re: Guix search, colors and INSIDE_EMACS

2020-02-13 Thread zimoun
Hi, On Thu, 13 Feb 2020 at 14:42, Alex Griffin wrote: > > On Thu, Feb 13, 2020, at 9:30 AM, zimoun wrote: > > Therefore, IMHO you need to set the environment variable by yourself > > in your config file. Or send a patch upstream. > > Because the reason is that EShell is not doing the right thing

Re: containerd fails to build

2020-02-13 Thread Tanguy Le Carrour
Hi Guix! Le 02/13, Tanguy Le Carrour a écrit : > containerd fails to build on my system! :-( I've just seen John's email on help-guix [1][] and… it actually answers my question! [1]: Cuirass - check evaluation # from build details https://lists.gnu.org/archive/html/help-guix/2020-02/msg0011

Re: Starting 'core-updates'?

2020-02-13 Thread Jan Nieuwenhuizen
Marius Bakke writes: Hello Marius, > The 'core-updates' branch is starting to look pretty good, and I am > happy to report that it "works for me". :-) > > Some of the big changes include: > I suggest that we set a "freeze" date shortly after FOSDEM to start > integrating it. Are there other br

New Brazilian Portuguese PO file for 'guix' (version 1.1.0-pre1)

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the Brazilian Portuguese team of translators. The file is available at: https://translationproject.org/latest/guix/pt_BR.po (We can arrange thin

Re: containerd fails to build

2020-02-13 Thread Jack Hill
On Thu, 13 Feb 2020, Tanguy Le Carrour wrote: Hi Guix! containerd fails to build on my system! :-( [content elided] starting phase `check' flag provided but not defined: -test.testlogfile Usage of /tmp/guix-build-containerd-1.2.5.drv-0/go-build772692618/b001/containerd.test: -address st

Thank you, Guix! [I Love Free Software Day]

2020-02-13 Thread Arun Isaac
Hi, It's February 14, I Love Free Software Day[1]. Instead of the usual bug report, feature request or some other form of complaint, today I would like to show some gratitude. :-) I wish to thank the Guix community for pouring so much of their free time into making Guix as great as it is today.

New French PO file for 'guix' (version 1.1.0-pre1)

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the French team of translators. The file is available at: https://translationproject.org/latest/guix/fr.po (We can arrange things so that in the

New French PO file for 'guix' (version 1.1.0-pre1)

2020-02-13 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the French team of translators. The file is available at: https://translationproject.org/latest/guix/fr.po (We can arrange things so that in the

Making the core fonts work

2020-02-13 Thread Ivan Kozlov
Hello. You should know that it is currently non-trivial to make the X.org server use fonts from a profile. You basically have to manually sift through the font files and find their ‘dirname’. The ‘fonts-dir’ union directories that Guix generates and installs into profiles have been useless sinc

Re: Guix search, colors and INSIDE_EMACS

2020-02-13 Thread Pierre Neidhardt
zimoun writes: > Well, concretely, if you use EShell and you want a readable "guix > describe", you have to put in your '.emacs' config file something like > '(setenv "INSIDE_EMACS" "1")'. Or you should patch EShell and report > it upstream. I've reported upstream. -- Pierre Neidhardt https://