[PATCH] gnu: Add tre (including the agrep utility)

* gnu/packages/tre.scm: New file. * gnu-system.am (GNU_SYSTEM_MODULES): Add it. --- gnu-system.am|1 + gnu/packages/tre.scm | 45 + 2 files changed, 46 insertions(+) create mode 100644 gnu/packages/tre.scm diff --git a/gnu-system.am b/gnu

Re: [PATCH] gnu: Add tre (including the agrep utility)

On Wed, Dec 03, 2014 at 09:49:20AM +0100, John Darrington wrote: > * gnu/packages/tre.scm: New file. > * gnu-system.am (GNU_SYSTEM_MODULES): Add it. Looks good to me, please push. Thanks! Andreas

Re: [PATCH] gnu: Add Glulxe.

Mark H Weaver writes: > Eric Bavier writes: > >> This is a bit terse, IMHO. Perhaps something like: >> >> (let* ((out (assoc-ref outputs "out")) >>(inc (string-append out "/include"))) >> (begin >> (mkdir-p inc) >> (for-each >> (lambda (f) (copy-file f (string-append inc

[PATCH] gnu: Add dmenu

>From a199cc6061e8607e6424cd56fc47da20c7cc1b16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Date: Wed, 3 Dec 2014 20:37:33 +0800 Subject: [PATCH] gnu: Add dmenu. * gnu/packages/dwm.scm (dmenu): New variable. --- gnu/packages/dwm.scm | 27 +++ 1 f

Re: [PATCH] gnu: Add dmenu

Start description in a newline :x >From b07a51a5a98cc61409716d80ab67fe9783ebf27b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Date: Wed, 3 Dec 2014 20:37:33 +0800 Subject: [PATCH] gnu: Add dmenu. * gnu/packages/dwm.scm (dmenu): New variable. --- gnu/packages/dwm.scm |

Re: Gluglug X60 Guix howto

Mark H Weaver skribis: > dhclient wlp2s0 Alternately, you should be able to use ‘dhcp-client-service’, which will pick up all the available network interfaces. BTW, I’m jealous, because the name of my wifi interface is much less memorable: wlp0s29u1u2 (probably because it’s an external USB do

[PATCH] gnu: Add scipy.

Please find attached a patch for scipy. Regards, Fede From 65ec148d0e3986ef377d2a205a2ded04d884ba3a Mon Sep 17 00:00:00 2001 From: Federico Beffa Date: Wed, 3 Dec 2014 21:15:55 +0100 Subject: [PATCH] gnu: Add scipy. * gnu/packages/python.scm (python-scipy, python2-scipy): New variables. --- gnu

New Hungarian PO file for 'guix-packages' (version 0.8)

Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix-packages' has been submitted by the Hungarian team of translators. The file is available at: http://translationproject.org/latest/guix-packages/hu.po (We can arrange t

New Hungarian PO file for 'guix' (version 0.8)

Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'guix' has been submitted by the Hungarian team of translators. The file is available at: http://translationproject.org/latest/guix/hu.po (We can arrange things so that in t

Re: [PATCH] gnu: Add dmenu

宋文武 skribis: > From b07a51a5a98cc61409716d80ab67fe9783ebf27b Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= > Date: Wed, 3 Dec 2014 20:37:33 +0800 > Subject: [PATCH] gnu: Add dmenu. > > * gnu/packages/dwm.scm (dmenu): New variable. LGTM, please push! Ludo’.

[no subject]

Hello, I'd like to share with you some experiences with using Guix. I tried to install Guix as alternative OS to my Gentoo and openSUSE installations to give a try. I tried unsupported scenario - installation on LVM volume and separate /boot partition until I was told it is unsupported. Separat

Packaging Coq

Does anyone know how to proceed? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 Nikita Karetnikov ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Public License a