Re: Changing HTTP proxy settings in GuixSD

Hi, l...@gnu.org (Ludovic Courtès) writes: > It turned out to come from a typo in Guile 2.2’s web client, now fixed > here: > > > https://git.savannah.gnu.org/cgit/guile.git/commit/?h=stable-2.2&id=7d0d9e2c25c1e872cfc7d14ab5139915f1813d56 [...] > diff --git a/module/web/http.scm b/module/web/

maxima: The SGC segfault recovery test failed with memprotect_bad_fault_address, SGC disabled

Hello all, When I start maxima, I get the following warning message: The SGC segfault recovery test failed with memprotect_bad_fault_address, SGC disabled The SGC segfault recovery test failed with memprotect_bad_fault_address, SGC disabled Maxima 5.41.0 http://maxima.sourceforge.net using Lisp

Re: parallelizing more actions

Hi Efraim, Efraim Flashner skribis: > While rebuilding glibc-final on aarch64 I realized that the 'strip phase > took 235 seconds. The relevant code for 'strip from gnu-build-system is > in guix/build/gnu-build-system.scm, starting at line 340, with the > actual stripping starting at 398. When I

Re: Best-practice to "develop" a system-config / service?

Hi Hartmut, Hartmut Goebel skribis: > I made KDE Plasma start up in a VM by adding tons of packages to the > system declaration (to be on the save side). Now for finishing and > providing a nice service declaration I need to strip this list of > packages down to the bare minimum. > > Since a vm

Re: GuixSD on armhf.

Heya, Mathieu Othacehe skribis: >> IOW, a service that starts a GuixSD VM for another architecture. >> >> Thoughts? > > Thanks for this patch ! For now I'm still trying to build a GuixSD image > directly on an armhf system. > > About that, i made some progress, but i'm now stuck on > "load-in-li

Speed of qemu VM sharing the store (was: Best-practice to "develop" a system-config / service?)

Am 11.11.2017 um 12:31 schrieb Ludovic Courtès: >> Since a vm (sharing the host store) is unacceptable sloow, > Could you be more specific? I understand from Chris Baines’ measurement > some time ago that it’s definitely slower than a bare-metal system, but > I don’t find it “unacceptably slow

Re: Best-practice to "develop" a system-config / service?

Am 11.11.2017 um 12:31 schrieb Ludovic Courtès: > I think all you want, to test your KDE service, is to: > > 1. Write an OS config that uses the service. > > 2. Run “./pre-inst-env guix system vm that-config.scm”, run the VM, > and check if it works. > > That’s really all it takes to devel

Re: Speed of qemu VM sharing the store

Hartmut Goebel skribis: > Am 11.11.2017 um 12:31 schrieb Ludovic Courtès: >>> Since a vm (sharing the host store) is unacceptable sloow, >> Could you be more specific? I understand from Chris Baines’ measurement >> some time ago that it’s definitely slower than a bare-metal system, but >> I

Re: Best-practice to "develop" a system-config / service?

Hartmut Goebel skribis: > Am 11.11.2017 um 12:31 schrieb Ludovic Courtès: >> I think all you want, to test your KDE service, is to: >> >> 1. Write an OS config that uses the service. >> >> 2. Run “./pre-inst-env guix system vm that-config.scm”, run the VM, >> and check if it works. >> >>

Re: Emacs minor-mode highlight code stages (gexp & sexp)

Chris Marusich skribis: > I've only used it for about 5 minutes now, but I have one question: is > it possible to highlight gexps using a different color than other > "staged" code? Then we’re going to ask too much, like how should it highlight something like: `(foo ,#~(bar '#$baz)) ? :-)

Re: [PATCH 6/6] gnu: Improve error reporting of the use-.*modules macros.

Heya, Chris Marusich skribis: > Ludovic Courtès writes: > >> +(define-syntax-rule (try-use-modules hint modules ...) >> + (eval-when (expand load eval) >> +(%try-use-modules '(modules ...) >> + (source-properties->location >> + (current-source-loc

Re: Changing HTTP proxy settings in GuixSD

Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: >> It turned out to come from a typo in Guile 2.2’s web client, now fixed >> here: >> >> >> https://git.savannah.gnu.org/cgit/guile.git/commit/?h=stable-2.2&id=7d0d9e2c25c1e872cfc7d14ab5139915f1813d56 > > [...] > >> diff --git a/m

Re: parallelizing more actions

On Sat, Nov 11, 2017 at 12:25:01PM +0100, Ludovic Courtès wrote: > Hi Efraim, > > Efraim Flashner skribis: > > > While rebuilding glibc-final on aarch64 I realized that the 'strip phase > > took 235 seconds. The relevant code for 'strip from gnu-build-system is > > in guix/build/gnu-build-system

Re: Emacs minor-mode highlight code stages (gexp & sexp)

l...@gnu.org (Ludovic Courtès) writes: > Chris Marusich skribis: > >> I've only used it for about 5 minutes now, but I have one question: is >> it possible to highlight gexps using a different color than other >> "staged" code? > > Then we’re going to ask too much, like how should it highlight so

Re: [PATCH 6/6] gnu: Improve error reporting of the use-.*modules macros.

l...@gnu.org (Ludovic Courtès) writes: > Heya, > > Chris Marusich skribis: > >> Ludovic Courtès writes: >> >>> +(define-syntax-rule (try-use-modules hint modules ...) >>> + (eval-when (expand load eval) >>> +(%try-use-modules '(modules ...) >>> + (source-properties->loc

Re: boot the Hurd with Guix

Hola, Finally I was able to start the Hurd with the binaries generated with the guix package manager. At the moment the image of Hurd I have built it manually and does not yet have any functionality like GuixSD / Linux. Next goal: * Generate the image file in the style of guix. ** For this

Re: boot the Hurd with Guix

ren...@openmailbox.org, on sam. 11 nov. 2017 18:02:11 -, wrote: > Finally I was able to start the Hurd with the binaries generated with the > guix package manager. Groovy :D Samuel

Re: boot the Hurd with Guix

This is awesome Rene!! Have you uploaded your changes anywhere? On November 11, 2017 8:02:11 PM GMT+02:00, ren...@openmailbox.org wrote: >Hola, > >Finally I was able to start the Hurd with the binaries generated with >the guix package manager. > >At the moment the image of Hurd I have built it man

Re: boot the Hurd with Guix

Hi rennes! ren...@openmailbox.org skribis: > Finally I was able to start the Hurd with the binaries generated with the > guix package manager. Woohoo! Does that mean you were able to run packages cross-compiled with Guix, or packages built natively with Guix? > At the moment the image of Hurd

Re: diverse double compilation: using $ORIGIN?

Chris Marusich skribis: > Ricardo Wurmus writes: > >> Since the GCC build procedure is performed at least two >> times (once with the bootstrap compiler, and then again with the GCC >> variant this produces), the resulting GCC binaries should be identical. >> >> Except that they are not. One of

Re: [PATCH 0/6] Error reporting and hints for missing modules

Julien Lepiller skribis: > I saw that last hint today buveuse I misspelled a type name > (dovecot-configurtation). I understand the hint is great when you forget to > import a service module, but it's not so great when the error is misspelling. > Maybe the solution would be: if the unbound var

Re: [PATCH 0/6] Error reporting and hints for missing modules

myglc2 skribis: > On 11/10/2017 at 00:04 Ludovic Courtès writes: >> >> Thrilled by this idea, I pushed an unbound-variable handler that can >> provide hints, such as: >> >> configuration.scm:88:19: zip: unbound variable >> hint: Try adding `(use-modules (gnu packages compression))'. >> >> Fee

Re: boot the Hurd with Guix

> This is awesome Rene!! Have you uploaded your changes anywhere? > Hello Manolis, I will prepare the documentation and a small image of qemu and upload it.