Re: New Shepherd release?

Joshua Branson skribis: > May I ask what some of the changes are? See . Ludo'.

Re: boot the Hurd with Guix

Hi rennes, rennes skribis: > 1) Manually run : > > '/gnu/store/6fgz3s8fjva40hsdvs2hs0f5p4bw12jc-guile-static-stripped-2.2.2/bin/guile > > --version' > > Output: > > guile: warning: failed to install locale > .. > Uncaught exception: > Throw to key misc-error with args ("primitive-l

Re: boot the Hurd with Guix

On Mon, 2018-01-08 at 11:13 +0100, Ludovic Courtès wrote: > Hi rennes, > > rennes skribis: > > >   1) Manually run : > >    > > '/gnu/store/6fgz3s8fjva40hsdvs2hs0f5p4bw12jc-guile-static-stripped- > > 2.2.2/bin/guile   > > --version' > > > >   Output: > > > > guile: warning: failed to insta

Re: Meltdown / Spectre

Hi, Mark H Weaver skribis: > Mark H Weaver writes: > >> Leo Famulari writes: >> >>> The Spectre bugs have to be fixed per-application for now. As far as I >>> know, we haven't made any related changes to packages besides >>> linux-libre. >>> >>> Mozilla has released an update that is supposed

Re: boot the Hurd with Guix

On Mon, 2018-01-08 at 11:20 +0100, Svante Signell wrote: > On Mon, 2018-01-08 at 11:13 +0100, Ludovic Courtès wrote: > > This must come from the lack of /proc/self/exe. > > /proc/self/exe is supported in glibc for Hurd since 2.24-18. Are you using an > earlier version? And of course Hurd must be

Re: Change defaults of 'define-record-type*' need invalidate auto-compilation caches

Hi! iyzs...@member.fsf.org (宋文武) skribis: > For example, in the current directory, I have 'foo.scm': > > (define-module (foo) > #:use-module (guix records) > #:export (foo foo-x)) > > (define-record-type* > foo make-foo foo? > (x foo-x (default "x"))) > > > > And 'x.scm': > > (use-module

Re: core-updates warning: Not ready for GuixSD deployment

Hi Leo, Leo Famulari skribis: > After rebooting, I found that my user's numerical ID had changed, so I > no longer owned any of my files. Not being able to read ~/.ssh means you > can't log in remotely. > > Additionally, several of root's "dotfiles" had been replaced with their > default version

Re: website: showcase or list videos and slides, sources of all talks

Mark H Weaver skribis: > Mark H Weaver writes: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Mark H Weaver skribis: >>> Many (most?) of the videos linked from our old website were on audio-video.gnu.org. >>> >>> Yes, and that’s really nice. The only downside is that we’re lackin

Re: Change defaults of 'define-record-type*' need invalidate auto-compilation caches

l...@gnu.org (Ludovic Courtès) writes: > Hi! > > iyzs...@member.fsf.org (宋文武) skribis: > >> [...] >> >> Only with '--fresh-auto-compile' or delete the cache of x.scm, I will >> get the output "y". >> >> Is this a bug? > > It’s a feature. :-) > > Namely, default value resolution happens at macro-e

Re: Using Guix archive (Help!)

Pjotr, Pjotr Prins wrote on 07/01/18 at 11:32: > I have limited internet these weeks, but when I have more space I can > look at Nix tooling again. See if there is something to view the > contents of a nar file. Apparently[0] Nix 1.12 has a new ‘nix’ UI or wrapper with direct support for listing

Re: Using Guix archive (Help!)

On Mon, Jan 08, 2018 at 04:15:52PM +0100, Tobias Geerinckx-Rice wrote: > I haven't tried more than the above commands, nor do I use Nix anymore, > nor do I have any idea how good or reusable the code is, but it's a start. Absolutely! I'll work on this. Thanks, Pj.

Re: GNOME on Wayland current status

Hi Rutger, Rutger Helling writes: > SDDM for the moment cannot run on Wayland yet, which is why it starts > its own X server. > > I don't think I've had some of the problems you had with GNOME. Could > you try logging in once via a display manager to GNOME (either X11 or > Wayland is fine), then

Re: Meltdown / Spectre

Chris Marusich writes: > Leo Famulari writes: > I wonder: how easy will it be to install those firmware/microcode > updates if you are using GuixSD? In particular, I'm curious about the > case of the Lenovo x200 with libreboot, since that's what I use > personally. I am also interested -- more

Re: Meltdown / Spectre

Katherine Cox-Buday writes: > Chris Marusich writes: > >> Leo Famulari writes: > >> I wonder: how easy will it be to install those firmware/microcode >> updates if you are using GuixSD? In particular, I'm curious about the >> case of the Lenovo x200 with libreboot, since that's what I use >> pe

Re: wrong type of agument... where ?

> > Also, for some reason, directly modifying (guix ui) (see > > "call-with-error-handling") to handle our new error doesn't work. > > Aha, it's using a released "guix" package in the test VM. Where can I change > that to "guix-devel"? (services (modify-services (operating-system-user

Re: Meltdown / Spectre

Hej Marius, [I see this is being CC'd to @libreboot.org. I'm answering only as a GNU Guix user and contributor, and assume people who live and breathe this stuff will find plenty of holes in my opinion. Which this is.] Marius Bakke wrote on 08/01/18 at 19:26: > In my opinion, CPU microcode fall

Re: Meltdown / Spectre

I should probably have written what I thought: Tobias Geerinckx-Rice wrote on 08/01/18 at 22:51: > AIUI, at least on x86 CPUs, the microcode *is* a large and/or functional > part of the processor... ...but it's initially included in ROM. Only when bugs are found in that copy does a user-provided

Re: 01/01: gnu: python-pygpgme: Use GnuPG 1 for the test suite.

On Sun, Jan 07, 2018 at 06:57:43PM -0800, Chris Marusich wrote: > That's good to know. However, when I tried accessing the link > > https://hydra.gnu.org/jobset/gnu/master > > I get a 504 (gateway timeout). I feel like I often get this while > trying to browse Hydra. Does it load reliably for

Help packaging rct.

Due to bug#29864 http://lists.gnu.org/archive/html/guix-patches/2018-01/msg00177.html I need to package *rct* library to solve to bundling issue of *rtags*. Reading from the short README file and a glimpse of source code from rct, it's like a oversimplified version of Qt, or maybe Boost. I have