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

2014-12-03 Thread John Darrington
* 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

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

2014-12-03 Thread Andreas Enge
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.

2014-12-03 Thread 宋文武
Mark H Weaver m...@netris.org writes: Eric Bavier ericbav...@gmail.com 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

[PATCH] gnu: Add dmenu

2014-12-03 Thread 宋文武
From a199cc6061e8607e6424cd56fc47da20c7cc1b16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= iyzs...@gmail.com 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

Re: [PATCH] gnu: Add dmenu

2014-12-03 Thread 宋文武
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?= iyzs...@gmail.com Date: Wed, 3 Dec 2014 20:37:33 +0800 Subject: [PATCH] gnu: Add dmenu. * gnu/packages/dwm.scm (dmenu): New variable. ---

Re: Gluglug X60 Guix howto

2014-12-03 Thread Ludovic Courtès
Mark H Weaver m...@netris.org 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

[PATCH] gnu: Add scipy.

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

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

2014-12-03 Thread Translation Project Robot
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

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

2014-12-03 Thread Translation Project Robot
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

[no subject]

2014-12-03 Thread Tomas Cech
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.

Packaging Coq

2014-12-03 Thread Nikita Karetnikov
Does anyone know how to proceed? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 Nikita Karetnikov nik...@karetnikov.org ;;; ;;; 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