> If you could add an "In-Reply-To:" header to your responses, that would
> be very helpful. It's easy to add it manually if needed: just copy the
> "Message-ID:" header from the original message and replace "Message-ID:"
> with "In-Reply-To:". As is, it's very difficult for me to keep track of
>
Hello everyone,
For microkernel, sel4 being a formally verified microkernel (developed
by security researchers?) looks promising to me. Maybe someday we can
rebase hurd on top of it (replacing mach)...
For ocap, I've no idea about it. I've heard of apparmor and selinux but
not ocap. Btw, debian
On 2018-12-25 20:49, Taylan Kammer wrote:
Currently, after running 'guix pull', the Guix version will be reported
by 'guix --version' as something like:
522d1b87bc88dd459ade51b1ee0545937da8d3b5
I think it would be really nice if instead it were something like:
2018-12-25-522d1b
wher
Currently, after running 'guix pull', the Guix version will be reported
by 'guix --version' as something like:
522d1b87bc88dd459ade51b1ee0545937da8d3b5
I think it would be really nice if instead it were something like:
2018-12-25-522d1b
where the date is the commit's date (year, month,
On 2018-12-25 12:47, swedebugia wrote:
Hi people
Today I wrote this draft blog post while playing around:
Playing with Guix REPL from scratch
This is a small example of how to quickly get an environment to play
with Guix in guile.
First setup your environment.
I choose a x86_64 PC and boot
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 Flashner
> > Date: Wed Dec 19 22:08:18 20
On Fri, 07 Dec 2018 20:46:27 -0500 Mark wrote:
> I copied the video to audio-video.gnu.org. It's now available here:
> https://audio-video.gnu.org/video/misc/2018-11__Everyday_use_of_GNU_Guix__Chris_Marusich__SeaGL.webm
there is still an open task for this on savannah - should the task be
marked
Hello!
guix-comm...@gnu.org skribis:
> efraim pushed a commit to branch master
> in repository guix.
>
> commit c39491829a0c1d870f8133b8f7a699152fc71503
> Author: Efraim Flashner
> Date: Wed Dec 19 22:08:18 2018 +0200
>
> scripts: refresh: Allow searching recursively.
>
> * guix/s
Hi,
guix-comm...@gnu.org skribis:
> efraim pushed a commit to branch master
> in repository guix.
>
> commit 3c515b22255c8ca4a727ba230168cf1083979086
> Author: Efraim Flashner
> Date: Tue Dec 11 16:42:56 2018 +0200
>
> doc: Example vm-image doesn't need firmware.
>
> * gnu/system/
On Fri, Dec 21, 2018 at 09:50:51PM +0100, Ludovic Courtès wrote:
> Hi!
>
> Efraim Flashner skribis:
>
> > Here's what I currently have. I don't think I've tried running the tests
> > I've written yet, and Ludo said there was a better way to check if the
> > download was a git-fetch or a url-fetc
Hi people
Today I wrote this draft blog post while playing around:
Playing with Guix REPL from scratch
This is a small example of how to quickly get an environment to play
with Guix in guile.
First setup your environment.
I choose a x86_64 PC and booted up the installer from an usb stick.
11 matches
Mail list logo