Re: [PATCH] Add Jellyfish.

Ben Woodcroft skribis: > But would it be possible to include the scripting language bindings, > something along these lines? > > +(arguments > + `(#:configure-flags '("--enable-ruby-binding" > + "--enable-python-binding" > +

Re: [PATCH] gnunet-gtk, gnome (glade3-3.18)

anonymiss skribis: > I wasn't sure if GNU commit/coding style requires to add names to > headers of files. It’s not GNU, just Guix practice and copyright practice in general. > If it does and it is okay to just use what I used in the commit > message / id, please add

Re: python readline module

Federico Beffa skribis: > it appears that our 'python' package, despite having 'readline' among > its inputs, can't use it: It Works for Me: --8<---cut here---start->8--- $ guix environment --container --ad-hoc python -- python3 substitute:

Re: [PATCH 1/1] doc: Explain significance of partition labels.

On Sun, Dec 20, 2015 at 11:16:04PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > * doc/guix.texi (Preparing for Installation): Point out relationship > > between partition labels and the file-system configuration. > > [...] > > > +Be sure that your partition

Re: GuixSD minimal/customized install

Daniel Pimentel skribis: > I'd like a GuixSD "minimal" install and customized as: > 1. Xorg minimal (there isn't xorg-minimal for example on repository); I think our ‘xorg-server’ is as minimal as can be. What do you have in mind? > 2. Only my video drive

Re: [PATCH 0/1] grub security update (CVE-2015-8370)

On Sun, Dec 20, 2015 at 11:19:44PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > * gnu/packages/patches/grub-CVE-2015-8370.patch: New file. > > * gnu/packages/grub.scm: Apply patch. > > --- > > gnu/packages/grub.scm | 4 ++- > >

Re: [PATCH] gnunet-gtk, gnome (glade3-3.18)

Leo Famulari skribis: > On Thu, Dec 17, 2015 at 04:10:15PM +0100, anonymiss wrote: >> The current state is: >> gnunet-gtk would theoretically build, but glade3-3.18.x (3.18.3 in this >> case) is not building correctly, it fails at where I tried to include >> documentation.

Specifying "search --label" instead of "search --file" in grub

Heya all, Today while installing GuixSD I hit a really painful and hard to track down bug. It can happen when you've got multiple Guix installs which both have the same kernel. # Set 'root' to the partition that contains the kernel. search --file --set ~a/~a~% Since this searches across

[v2 2/2] doc: Be more explicit in example of file-systems configuration.

* gnu/system/examples/bare-bones.tmpl (file-systems): Change device label. * gnu/system/examples/desktop.tmpl (file-systems): Likewise. --- gnu/system/examples/bare-bones.tmpl | 4 ++-- gnu/system/examples/desktop.tmpl| 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git

[v2 1/2] doc: Explain significance of partition labels.

* doc/guix.texi (Preparing for Installation): Point out relationship between partition labels and the file-system configuration. --- doc/guix.texi | 8 1 file changed, 8 insertions(+) diff --git a/doc/guix.texi b/doc/guix.texi index 06d70ba..152a713 100644 --- a/doc/guix.texi +++

Re: [PATCH] gnu: unison: Add "doc" output.

On Sun, 20 Dec 2015 23:11:07 +0100 l...@gnu.org (Ludovic Courtès) wrote: > Eric Bavier skribis: > > > +(define (unison-doc ext version hash) > > + (origin > > +(method url-fetch) > > +(uri (string-append "https://www.seas.upenn.edu/~bcpierce/unison/; > > +

Re: substitutes mirror of 0.9.0 packages

Florian Paul Schmidt skribis: > to install boost. Some more output of guix package might have been > helpful in discovering this (something along the line of "Yo, you > passed me a substituter URL but it haz no valid keyz dude!". And maybe > even "Read the fine manual,

Re: substitutes mirror of 0.9.0 packages

Leo Famulari skribis: > On Fri, Dec 18, 2015 at 10:25:02AM +0100, Florian Paul Schmidt wrote: >> -BEGIN PGP SIGNED MESSAGE- >> Hash: SHA256 >> >> >> Hi, >> >> this service might go away anytime. But I setup a substitute server >> that is reachable at >> >>

Re: Moving to beta? When?

Hi! I would say that GuixSD is more alphaish than Guix, but I’m fine calling it “beta” as well (in fact, I took a step in that direction when I updated the web site a couple of days ago for the fundraiser after we had had a similar discussion on IRC; look at this blue note at the top ;-)). The

Re: [PATCH] gnu: unison: Add "doc" output.

Eric Bavier skribis: > +(define (unison-doc ext version hash) > + (origin > +(method url-fetch) > +(uri (string-append "https://www.seas.upenn.edu/~bcpierce/unison/; > +"download/releases/unison-" version "/unison-" > +

Re: [PATCH 1/1] doc: Explain significance of partition labels.

Leo Famulari skribis: > * doc/guix.texi (Preparing for Installation): Point out relationship > between partition labels and the file-system configuration. [...] > +Be sure that your partition labels match the value of their respective > +@code{device} fields in your

Re: [PATCH 0/1] grub security update (CVE-2015-8370)

Leo Famulari skribis: > This patch for Grub2 fixes CVE-2015-8370 [0][1]. The source of the patch > is [0]. > > One thing to note is that there doesn't seem to be any response from > upstream, yet. However, at least some distros are applying the patch > [2][3]. > > AFAIK,

Re: GNOME on GuixSD

"Thompson, David" skribis: > Thanks for all the effort! It's like I'm using a "normal" distro again! Maybe someday you’ll be able say you’re using a mainstream distro again. ;-) Ludo’.

Re: GNOME on GuixSD

iyzs...@member.fsf.org (宋文武) skribis: > With commit a4df575, we can get a minimal gnome-shell on GuixSD. > > Make sure you have elogind and upower-daemon services running, > and add the following packages: > > adwaita-icon-theme, gnome-session, gnome-shell, > gnome-control-center,

Re: Moving to beta? When?

On Fri, 18 Dec 2015 19:40:29 -0600 Christopher Allan Webber wrote: > Hello all, > > Guix is super stable for me these days. In a sense, more stable than > any other system I've ever run. We also are quickly moving to the point > where *most* core packages people need

Re: [PATCH] Add fraggenescan.

Hi Ben, thanks for your patch! > From f10c4178cef360a8472c988c9ea8aace15daa954 Mon Sep 17 00:00:00 2001 > From: Ben Woodcroft > Date: Sun, 20 Dec 2015 22:23:17 +1000 > Subject: [PATCH] gnu: Add fraggenescan. > * gnu/packages/bioinformatics.scm (fraggenescan): New

Re: Moving to beta? When?

Am Fri, 18 Dec 2015 19:40:29 -0600 schrieb Christopher Allan Webber : > Hello all, > > Guix is super stable for me these days. In a sense, more stable than > any other system I've ever run. We also are quickly moving to the > point where *most* core packages people need

Re: GNOME on GuixSD

On Sun, 20 Dec 2015 20:50:01 +0800 iyzs...@member.fsf.org (宋文武) wrote: > With commit a4df575, we can get a minimal gnome-shell on GuixSD. > > Make sure you have elogind and upower-daemon services running, > and add the following packages: > > adwaita-icon-theme, gnome-session, gnome-shell, >

Re: GNOME on GuixSD

On Sun, Dec 20, 2015 at 7:50 AM, 宋文武 wrote: > With commit a4df575, we can get a minimal gnome-shell on GuixSD. > > Make sure you have elogind and upower-daemon services running, > and add the following packages: > > adwaita-icon-theme, gnome-session, gnome-shell, >

Re: Moving to beta? When?

On Sun, Dec 20, 2015 at 10:08:26AM +0200, Efraim Flashner wrote: > On the other side, gnome-shell sounds like a good cut-off for beta. And beta should last months, not years. PJ.

Re: guixsd offline installation media

On Fri, 18 Dec 2015 10:19:14 +0100 Pjotr Prins wrote: > If you are on a slow connection (and 90% of the world IS on a slow > connection) downloads are a problem. I am in Africa now. Guix > pull is one problem - I accidentily did that and now I can't do > anything

[PATCH] Add fraggenescan.

Turned out to be a little messy. TIA.. >From f10c4178cef360a8472c988c9ea8aace15daa954 Mon Sep 17 00:00:00 2001 From: Ben Woodcroft Date: Sun, 20 Dec 2015 22:23:17 +1000 Subject: [PATCH] gnu: Add fraggenescan. * gnu/packages/bioinformatics.scm (fraggenescan): New

Re: Moving to beta? When?

> On Sun, 20 Dec 2015 10:08:26 +0200 > Efraim Flashner wrote: > > On Fri, 18 Dec 2015 19:40:29 -0600 > Christopher Allan Webber wrote: > > > Hello all, > > > > Guix is super stable for me these days. In a sense, more stable > > than any other

GNOME on GuixSD

With commit a4df575, we can get a minimal gnome-shell on GuixSD. Make sure you have elogind and upower-daemon services running, and add the following packages: adwaita-icon-theme, gnome-session, gnome-shell, gnome-control-center, gnome-settings-daemon, dbus to the packages field (to use

Re: substitutes mirror of 0.9.0 packages

On 12/18/2015 10:25 AM, Florian Paul Schmidt wrote: http://fps.io: The public key is: (public-key (ecc (curve Ed25519) (q #AFF68C4E099401E85BE2D7375C1DB5E8A29F1DB83299038122AF5C0984099CF8#) ) ) In case you wondered about how to use this (which I just only found out myself

Re: [PATCH 01/10] gnu: Add python-pytest-cov.

Efraim Flashner writes: > On Fri, 11 Dec 2015 15:03:39 +0100 > Ricardo Wurmus wrote: > >> Efraim Flashner writes: >> > ... >> > + (description >> > + "Pytest-cov produces coverage reports. It supports centralised

python readline module

Hi, it appears that our 'python' package, despite having 'readline' among its inputs, can't use it: Python 3.4.3 (default, Jan 1 1970, 00:00:01) [GCC 4.9.3] on linux Type "help", "copyright", "credits" or "license" for more information. >>> >>> import readline, rlcompleter Traceback (most

Re: [PATCH] gnu: unison: Add "doc" output.

On Fri, Dec 18, 2015 at 07:42:15PM -0600, Eric Bavier wrote: > * gnu/packages/ocaml.scm (unison-doc): New function. > (unison)[source]: Use versioned URI. > [inputs, outputs]: New fields. > [arguments]: Add 'install-doc phase. Cool! But `git am` can't apply the patch to the master branch.