Progress on 'guix deploy'

2019-06-07 Thread Jakob L. Kreuze
Hello, Guix! Apart from a few patches and my introductory email about a month ago, I've been pretty silent. I feel it's time to finally break that silence, let people know where progress has been made, and request some feedback on the code I've written so far. As a quick refresher, my GSoC projec

Re: SELinux log

2019-06-07 Thread Laura Lazzati
--8<---cut here---start->8--- type=FS_RELABEL msg=audit(1559947443.686:26389): pid=2658 uid=0 auid=1000 ses=3 subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 msg='op=mass relabel exe="/usr/sbin/setfiles" hostname=localhost.localdomain addr=? terminal=p

Re: SELinux log

2019-06-07 Thread Laura Lazzati
Sorry, my mail client apparently hates me, it is somewhat formatting my mails after sending them ¬¬

Re: SELinux log

2019-06-07 Thread Laura Lazzati
Hi! > Thank you, the log is helpful (even though it looks like your mail > client reformatted it, which makes it very hard to read). Sorry for that :/ > Did you run “restorecon” on the store to recursively label all files? I did, but I have just found that you are right, looking at the log that i

Re: SELinux log

2019-06-07 Thread Ricardo Wurmus
Hi Laura, > My log shows that > SELinux would have prevented the daemon from running, like when I had > it in enforcing mode: Thank you, the log is helpful (even though it looks like your mail client reformatted it, which makes it very hard to read). Searching for “denied” we see the following

Re: [ANNOUNCE] ganeti-instance-guix 0.3

2019-06-07 Thread Ludovic Courtès
Hi Marius, Marius Bakke skribis: > I am happy to announce a new version of 'instance-guix', a Ganeti OS > provider that creates Guix systems. It is a <100 line shell script. Congrats! > Guix is a functional package manager that can be installed on any > GNU/Linux distribution, and offers a de

Re: Lightning talk at IPFS camp

2019-06-07 Thread Ludovic Courtès
Konrad Hinsen skribis: > Ludovic Courtès writes: > >> (They could have chosen Guile instead of a custom Lisp, but that’s an >> “implementation detail”. :-)) > > From my reading of the whitepaper, no. They have pretty strict > constraints on their language because they send live code updates > t

Re: New SLiM theme.

2019-06-07 Thread Ludovic Courtès
Hello! Diego Nicola Barbato skribis: > From bfa773e0907ebe4f89bb5614a09d23d3e692d8d5 Mon Sep 17 00:00:00 2001 > From: Diego Nicola Barbato > Date: Mon, 3 Jun 2019 16:21:25 +0200 > Subject: [PATCH v2] slim: Add 1.x theme. Pushed! Thanks for fixing this omission! :-) You’re welcome to update

Re: Lightning talk at IPFS camp

2019-06-07 Thread Konrad Hinsen
Ludovic Courtès writes: > (They could have chosen Guile instead of a custom Lisp, but that’s an > “implementation detail”. :-)) >From my reading of the whitepaper, no. They have pretty strict constraints on their language because they send live code updates to running instances and want to be a

Re: Lightning talk at IPFS camp

2019-06-07 Thread Konrad Hinsen
Ludovic Courtès writes: > Hey! > > I stumbled upon this: > > https://github.com/ipfs/package-managers#readme And I just stumbled on this one: https://github.com/ipfs/roadmap Quote: 2019 Priority We will be focusing our efforts into a single (lazer focus) priority. 📦 Package Man

Re: Lightning talk at IPFS camp

2019-06-07 Thread Ludovic Courtès
Hi! Pierre Neidhardt skribis: > Konrad Hinsen writes: [...] >> For human input, Git would be OK, with repositories stored in IPFS >> (there's already some support for that, see >> https://github.com/ipfs/go-ipld-git). A more radical redesign is >> Radicle (http://www.radicle.xyz/), which uses

Re: Lightning talk at IPFS camp

2019-06-07 Thread Ludovic Courtès
Hey! I stumbled upon this: https://github.com/ipfs/package-managers#readme Hopefully that’s something you’ll discuss at IPFS Camp! Ludo’.

Reviewing KDE Plasma state on Guix System

2019-06-07 Thread Félicien Pillot
Hi Guix, First, I would like to congratulate and thank you for the excellent work you are doing in the development of both Guix and this community. Then, I'm writing today because I would be interested to have the KDE Plasma desktop running on Guix System. I am willing to participate in its int