[PATCH] gnu: Add python-jedi.

* gnu/packages/python.scm (python-jedi, python2-jedi): New variables. Signed-off-by: Danny Milosavljevic --- gnu/packages/python.scm | 31 +++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index ccbed0f..54ec25f 10064

Reproducible Erlang builds - accepted in GNU Guix!

Good news. Erlang has been accepted as a GNU Guix package: https://www.gnu.org/software/guix/packages/ The package definition is here: http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/erlang.scm you can see, thanks to Leo's work, we still patch out the time stamp from a few file

[PATCH v2] gnu: Add python-jedi.

* gnu/packages/python.scm (python-jedi, python2-jedi): New variables. Signed-off-by: Danny Milosavljevic --- gnu/packages/python.scm | 34 +- 1 file changed, 33 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index ccbe

[PATCH 0/6] Mesa and qemu stuff.

I'm not sure about patch 0001, but I did some packaging of gstreamer packages for spice, and I think GST_PLUGIN_PATH is not needed. Updated mesa to 12.0.0 so that we get cool new features like virtio gpu and the nir/spirv toolchain. I also added some configure-flags required by wayland, which I'm

[PATCH 1/6] system: Do not export GST_PLUGIN_PATH in /etc/profile.

* gnu/system.scm (operating-system-etc-service): Remove "export" for 'GST_PLUGIN_PATH'. --- gnu/system.scm | 3 --- 1 file changed, 3 deletions(-) diff --git a/gnu/system.scm b/gnu/system.scm index 96ea153..2bd6096 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -430,9 +430,6 @@ fi # See

[PATCH 2/6] vm: Honor 'QEMU_FLAGS' and 'QEMU_NET_FLAGS'.

* gnu/system/vm.scm (common-qemu-options): Add 'QEMU_FLAGS' and 'QEMU_NET_FLAGS'. * gnu/system/vm.scm (common-qemu-options): Enable virtio gpu by default. --- gnu/system/vm.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index 67

[PATCH 3/6] gnu: libdrm: Update to 2.4.68.

* gnu/packages/xdisorg.scm (libdrm): Update to 2.4.68. --- gnu/packages/xdisorg.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 3a44fb5..c00d98b 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.sc

[PATCH 4/6] gnu: Order module imports in (gnu packages gl) alphabetically.

* gnu/packages/gl.scm: Order module imports alphabetically. * gnu/packages/gl.scm: Rename #prefix l: to #prefix license:. --- gnu/packages/gl.scm | 50 +- 1 file changed, 25 insertions(+), 25 deletions(-) diff --git a/gnu/packages/gl.scm b/gnu/packa

[PATCH 5/6] gnu: mesa: Update to 12.0.0.

* gnu/packages/gl.scm (mesa): Update to 12.0.0. * gnu/packages/gl.scm (mesa): Enable virtio gallium driver. * gnu/packages/gl.scm (mesa): Enable configure-flags required by wayland. --- gnu/packages/gl.scm | 30 +++--- 1 file changed, 19 insertions(+), 11 deletions(-) diff

[PATCH 6/6] gnu: mesa-utils: Update to 8.3.0.

* gnu/packages/gl.scm (mesa-utils): Update to 8.3.0. --- gnu/packages/gl.scm | 11 +++ 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/gnu/packages/gl.scm b/gnu/packages/gl.scm index 5e4fca9..21a9463 100644 --- a/gnu/packages/gl.scm +++ b/gnu/packages/gl.scm @@ -325,12 +325,1

Re: [PATCH 2/2] services: Add 'dropbear-service'.

Yeah, I should have better said I don't know instead of talking out of my ass. All I can really do is trust that the people who write security related code know what they are doing. Is there anything else holding this up? Cheers, David On Thu, Jul 7, 2016 at 7:54 PM, David Craven wrote: > That

Re: [PATCH v2] gnu: Add python-jedi.

On Sat, Jul 09, 2016 at 02:48:32PM +0200, Danny Milosavljevic wrote: > * gnu/packages/python.scm (python-jedi, python2-jedi): New variables. Thanks for this patch! Pushed as a502dfbf with the following changes: > #:select (asl2.0 bsd-4 bsd-3 bsd-2 non-copyleft cc0 x11 > x11-styl

Re: [PATCH] gnu: Add reptyr.

On Fri, Jul 08, 2016 at 02:38:36PM -0500, Alex Griffin wrote: > This patch adds reptyr, a tool for reparenting a running program to a > new terminal. I put it in screen.scm because it is usually used to move > a process into a screen or tmux session. Thank you, I will use this :) > Also somewhat

Re: [PATCH 2/2] services: Add 'dropbear-service'.

On Sat, Jul 09, 2016 at 04:39:02PM +0200, David Craven wrote: > Yeah, I should have better said I don't know instead of talking out of my ass. That's harsh! I'm not an expert either, but I have begun trying to understand the assumptions that programs like SSH daemons make in their security model.

Re: [PATCH] gnu: Add perltidy.

Hello, sorry for being late, but the number of messages on the list is simply overwhelming... On Tue, Jul 05, 2016 at 01:01:07PM +0200, Ricardo Wurmus wrote: > “perltidy” (as in the domain name) or “perl-tidy” (as in the tarball)? > I don’t remember what our naming guidelines say about this. (I

Re: [PATCH] gnu: Add emacs-ess.

Hello! On Wed, Jul 06, 2016 at 10:44:48AM +0200, Ricardo Wurmus wrote: > > Unfortunately, when building with texlive-minimal, we are missing a > > font: > > !pdfTeX error: > > /gnu/store/gnh4kn47mn3m2rlgm9i9xl3wmq2kahia-texlive-minimal-2016 > > /bin/pdftex (file cmr9): Font cmr9 at 600 not fo

Re: [PATCH] Add Ribotaper.

Ben Woodcroft writes: >> I think in the ribotaper/bedtools case we should just name the variable >> “bedtools-2.18” and make it public. > > I agree with should call it 'bedtools-2.18' and make it public (but with > a comment explaining why the old version is kept), just as in e.g. > 'python-f

Re: [PATCH 2/2] services: Add 'dropbear-service'.

Maybe this could also be seen as a test of the quality of the documentation? But providing a example operating-system configuration shouldn't be a problem. ``` (use-modules (gnu)) (use-service-modules base networking ssh) (operating-system (host-name "builder") (timezone "Europe/Zurich") (

Re: [PATCH 2/2] services: Add 'dropbear-service'.

On Thu, Jul 07, 2016 at 01:25:17PM -0400, Leo Famulari wrote: > If so, what does Dropbear do? How does it get random numbers to generate > the host key? I looked into it — Dropbear uses /dev/urandom, which *may* not be safe to use immediately after first boot. What do you think about implementing

Re: [PATCH 2/2] services: Add 'dropbear-service'.

On Sat, Jul 09, 2016 at 06:41:25PM -0400, Leo Famulari wrote: > On Thu, Jul 07, 2016 at 01:25:17PM -0400, Leo Famulari wrote: > > If so, what does Dropbear do? How does it get random numbers to generate > > the host key? > > I looked into it — Dropbear uses /dev/urandom, which *may* not be safe >

Re: [PATCH 2/2] services: Add 'dropbear-service'.

Yep is probably better. I did think something dough when writing the service. For some reason I thought that /etc was mounted readonly and only writeable by the guix daemon - which is obviously not the case - and that the vm virtual disk was readonly - which has a unionfs overlay. So I can't find

Re: [PATCH 2/2] services: Add 'dropbear-service'.

On the other hand a better solution might be to generate the key outside the vm and copy it into the vm. This would also allow to configure the key from within the operating-system config. On Sun, Jul 10, 2016 at 1:03 AM, David Craven wrote: > Yep is probably better. I did think something dough w

Re: [PATCH 1/2] gnu: mpv: Enable shared library support.

On Thu, Jul 07, 2016 at 09:11:06AM +0200, Ricardo Wurmus wrote: > > Alex Griffin writes: > > > This patch enables the libmpv shared library, needed by frontends like > > gnome-mpv. > > Looks good to me. Thank you! > > ~~ Ricardo > patch pushed! -- Efraim Flashner אפרים פלשנר GPG key

Re: [PATCH 2/2] gnu: Add gnome-mpv.

On Thu, Jul 07, 2016 at 09:39:48AM -0500, Alex Griffin wrote: > On Thu, Jul 7, 2016, at 02:10 AM, Ricardo Wurmus wrote: > > > + (uri (string-append > > > "https://github.com/gnome-mpv/gnome-mpv/releases/download/v"; > > > + version "/gnome-mpv-" version ".tar.xz"))