"Ludovic Courtès" skrev: (5 januari 2019 18:37:10 CET)
>Hello swedebugia,
>
>Sorry for the late reply!
>
>swedebugia skribis:
>
>> Today I wrote this draft blog post while playing around:
>>
>> Playing with Guix REPL from scratch
>
>That sounds like a great topic for a blog post!
>
>I would sugge
On Sat, Jan 05, 2019 at 17:14:31 +0100, Ricardo Wurmus wrote:
> That’s easier: with “guix pack”. We would create a Cuirass job to build
> a pack regularly. We’d need to add support for hooks to publish the
> generated pack on DockerHub, though we could just as well host them
> ourselves.
Last I
Hi Mathieu,
Mathieu Othacehe skribis:
> I pushed a few commits to the branch. All main features are now
> implemented. The only important stuff missing (in my opinion) is the
> encryption support during partitioning (as well as RAID and LVM I
> guess). I also took most of Thorsten remarks into a
Hi swedebugia,
> (define (metadata-ref file lookup)
> ^ 2 arguments
> (fold (lambda (record acc)
> ^2 formals, why the acc?
“fold” is a higher order function that takes a two-argument procedure
(the lambda here), an initial value, and a list to fold ove
Hello,
Pjotr Prins skribis:
> We have an exciting program for the minimalism devroom at FOSDEM, see
>
> https://fosdem.org/2019/schedule/track/minimalistic_languages/
>
> We also have two GNU Guix days before FOSDEM. The idea is to break out
> into working groups during those two days. I have
Hi Gábor,
Gábor Boskovits skribis:
> I am not sure if I am duplicating functionality here, and also where
> these should belong, so I will send them here for discussion.
Thanks for sharing! As Alex notes, some of these procedures are
more or less available in (guix build utils):
> (define (rm
Saluton Ludo' :)
I write this to you for no other reason than I like the code your write
and would love to learn more.
If you don't have time/energy just let me know and I will ask Pierre or
somebody else. :)
On 2019-01-05 18:39, Ludovic Courtès wrote:
> One last thing:
>
>> +(define (check-sou
Hi Timothy!
Timothy Sample skribis:
> I have been using GDM on GuixSD for the past few days, and I am quite
> happy with it. A few patches that make it usable just landed on
> master.
Nice!
> The main issue is the way that GDM launches the session bus (the
> instance of D-Bus that manages the
On 2019-01-05 18:43, Ludovic Courtès wrote:
> Efraim Flashner skribis:
>
>> On Tue, Dec 25, 2018 at 04:05:11PM +0100, Ludovic Courtès wrote:
>>> Hello!
>>>
>>> guix-comm...@gnu.org skribis:
>>>
>>> > efraim pushed a commit to branch master
>>> > in repository guix.
>>> >
>>> > commit c39491829a
> In other words, it's anecdotal.
True, it definitely was not a formal proof just data based upon real
world development with large teams of programmers and formal
specifications for correct behavior.
> Obviously, the flaw in this argument is that there exist much more
> efficient ways to add numb
Hi,
Ricardo Wurmus skribis:
> Ricardo Wurmus writes:
>
>> Hi Guix,
>>
>> when using “guix package -i” the build log lines are replaced with a
>> spinner character. In some cases, the build log does not produce new
>> lines for a long time, so that the spinner appears to be stuck.
>>
>> What do
Hi Ricardo,
Ricardo Wurmus skribis:
>> Resolved by applying this advice (which is output when running `guix
>> package -i pango` explicitly, but not when pango is installed as a
>> dependency -- or I missed it):
>>
>> ```
>> The following environment variable definitions may be needed:
>> expo
Hello,
Marius Bakke skribis:
> Alex Vong writes:
>
>> Besides, I remember we have discuss about hardening before. Should I
>> start a new hardening branch? (although I don't time to work on it right
>> now). I think this is something we can do now.
>>
>> My idea is to create a new guix module (
Hello,
Marius Bakke skribis:
> I like the "git describe" format:
>
> $ git describe
> v0.16.0-414-ge99d036828
I’d love that. We just need to add the missing bindings to Guile-Git.
Hint hint. ;-)
As for the date, note that ‘guix describe’ displays the generation’s
date already.
Thanks,
Ludo’
Efraim Flashner skribis:
> On Tue, Dec 25, 2018 at 04:05:11PM +0100, Ludovic Courtès wrote:
>> Hello!
>>
>> guix-comm...@gnu.org skribis:
>>
>> > efraim pushed a commit to branch master
>> > in repository guix.
>> >
>> > commit c39491829a0c1d870f8133b8f7a699152fc71503
>> > Author: Efraim Flashn
Hello!
Efraim Flashner skribis:
> From dcd8b207f932289cb3b35720af45f49f849b7c27 Mon Sep 17 00:00:00 2001
> From: Efraim Flashner
> Date: Tue, 25 Dec 2018 16:29:12 +0200
> Subject: [PATCH] lint: Add checker for unstable tarballs.
>
> * guix/scripts/lint.scm (check-source-unstable-tarball): New p
Hello swedebugia,
Sorry for the late reply!
swedebugia skribis:
> Today I wrote this draft blog post while playing around:
>
> Playing with Guix REPL from scratch
That sounds like a great topic for a blog post!
I would suggest adding a bit of context: what does “REPL” mean? what are
the possi
Hi Jeremiah,
jerem...@pdp10.guru writes:
To truly solve that problem, we need bug-free compilers.
>>> Impossible for all but the simplest of languages as the complexity of
>>> implementing a compiler/assembler/interpreter is ln(c)+a but the
>>> complexity of implementing a bug-free compiler/
Hi Timothy,
Timothy Sample skribis:
> I am very pleased to announce that Gash (having absorbed Geesh) is now
> capable of building Bash without Bash, Coreutils, Grep, Sed, or Tar.
> That is, Gash provides alternatives, written in Scheme, to all the
> utilities needed by the “gnu-build-system” th
Ricardo Wurmus writes:
> Hey,
>
> I just installed Guix as a package manager on an aarch64 box. The
> manual makes it a little difficult to perform all these steps, because
> the commands cannot be easily copied. We do have the shell script, but
> the manual mentions it only in passing – as a u
Hello!
Laura Lazzati skribis:
> Thank you both for sharing your experience :)
+1!
I’m late to the party but I think your message was certainly insightful
to many of us. Even with years of experience one is never done learning
new tricks!
Thanks,
Ludo’.
Hi Joshua,
> Ricardo Wurmus writes:
>
>> Joshua Branson writes:
>>
>>> I had some cool ideas/features for things that GuixSD could potentially
>>> add, and I wanted to share. Are any of these possible?
>>>
>>> #+BEGIN_SRC scheme
>>> (operating system
>>> (keymap "dvorak")
>>> ...)
>>> #+
Le sam. 5 janv. 2019 17:59, Ricardo Wurmus a écrit :
> Hey,
>
> I just installed Guix as a package manager on an aarch64 box. The
> manual makes it a little difficult to perform all these steps, because
> the commands cannot be easily copied. We do have the shell script, but
> the manual mentio
Hey,
I just installed Guix as a package manager on an aarch64 box. The
manual makes it a little difficult to perform all these steps, because
the commands cannot be easily copied. We do have the shell script, but
the manual mentions it only in passing – as a user I skipped over the
introduction
Hi simon,
> Well, why not push to DockerHub time to time.
> I agree that will attract people if Guix provide an official docker
> image reachable from DockerHub.
[…]
> Therefore:
> - which tasks and which packages?
I don’t know. We could have one with R + all CRAN and bioconductor
packages th
Hi Hartmut,
guix-comm...@gnu.org skribis:
> commit 16b8aff85bcdb9799496c4a27257210cd45158e5
> Author: Hartmut Goebel
> Date: Thu Mar 1 23:08:44 2018 +0100
>
> gnu: kinit: Use LIBRARY_PATH to search for dynamically loaded libs.
>
> Transfer the NixOS "kdeinit-libpath" patch for kin
Ricardo Wurmus writes:
> Joshua Branson writes:
>
>> I had some cool ideas/features for things that GuixSD could potentially
>> add, and I wanted to share. Are any of these possible?
>>
>> #+BEGIN_SRC scheme
>> (operating system
>> (keymap "dvorak")
>> ...)
>> #+END_SRC
>>
>> The above wou
Dear all,
On Fri, Aug 24, 2018 at 11:58:54AM +0200, Ludovic Courtès wrote:
> The real URL is:
>
> https://libreplanet.org/wiki/Group:Guix/FOSDEM2019#GNU_Guix_Days
>
> I copied and adjusted the text from last year’s page.
>
> Anyway, feel free to add your name if you would come, and ideas of t
28 matches
Mail list logo
