Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Sorry about the mail floundering, hopefully this is better. >From 2486f55a177b3f62509fd999e5d5cbd072d5ce17 Mon Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Wed, 7 Mar 2018 18:28:24 -0600 Subject: [PATCH 1/4] gnu: Add ghc-aeson-1.1.2.0. * gnu/packages/idris

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Sure! >From ef0dcd5a84c4f8e4331fb8f07a4e1709a577eb31 Mon Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Wed, 7 Mar 2018 18:31:22 -0600 Subject: [PATCH 3/4] gnu: Add ghc-cheapskate-0.1.0.5. * gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable.

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

My mistake, here's the patch. Let me know if this should be broken up further. >From f31cd301804b6fc3dbf345a9e37d20814cd407ae Mon Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Tue, 6 Mar 2018 19:32:05 -0600 Subject: [PATCH] gnu: idris: fix package. * gnu

[PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

On guix-devel¹, I had given an incomplete patch to update idris to 1.2.0. After further investigation, I concluded this was the wrong approach because our current version of GHC is 8.0.2, so the right version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, which includes Idris 1.0,

Incomplete work to upgrade Idris to 1.2.0

Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Sun, 4 Mar 2018 19:05:25 -0600 Subject: [PATCH] (WIP) gnu: idris: Upgrade to 1.2.0. * gnu/packages/idris.scm (idris): upgrade to 1.2.0. [inputs] alphebetize ghc-vector-binary-instances and ghc-async. Delete ghc-par

Defining shepherd user services -- feedback desired

Attached is a manifest file which allows a user to write a shepherd-service like the following: (define redshift-service (shepherd-service (provision '(redshift)) (modules `((gnu packages xdisorg) ,@%default-modules)) (start #~(make-forkexec-constructor

Re: Guix key signing party at FOSDEM?

I would be interested :) I agree that tomorrow would give people time to prepare.

Re: Dinner in Brussels?

I would be happy to meet and eat Thursday and Friday!

Packaging leiningen (feedback desired)

If anyone's around, I would appreciate some feedback. I'm trying to package leiningen, a build tool for clojure projects. The recommended way to manually install leiningen is to use a script that will download a .jar (https://github.com/technomancy/leiningen/blob/stable/bin/lein#L65). This is also

[PATCH] doc: Correct example for 'wpa-supplicant-service-type'

>From 6356c26a14fe1f487eb7f185570420489a7f8d34 Mon Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Sun, 4 Dec 2016 20:46:14 -0500 Subject: [PATCH] doc: Correct example for 'wpa-supplicant-service-type' --- doc/guix.texi | 5 +++-- 1 file changed, 3 inserti

Re: [PATCH] Adding .xsession to guile-wm

Ludovic Courtès writes: > I agree with David that it would be good to talk to the upstream > developer so that the .desktop file is distributed by upstream > eventually. Could you try to reach them? There are improvements I want to make to guile-wm itself, so I plan on talking to

Re: [PATCH] Adding .xsession to guile-wm

I don't believe there is a standard, but different packages do it different ways. Under my patch, guile-wm will regenerate its .desktop as part of the build process, so its Exec= should be kept up-to-date. -Alex

Re: [PATCH] Adding .xsession to guile-wm

Manually making a .desktop is what xmonad and fluxbox do: http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/wm.scm#n244 http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/wm.scm#n359 Hence this approach. I could also work on moving this to a patch. Which is preferred? -Alex

[PATCH] Adding .xsession to guile-wm

Adding an xsession to guile-wm so that display managers will identify it as an available wm. From 91f74b1b762596527dfa9412c33e39981932fa70 Mon Sep 17 00:00:00 2001 From: Alex ter Weele <alex.ter.we...@gmail.com> Date: Sun, 11 Sep 2016 22:18:53 -0400 Subject: [PATCH] Adding .xsession to gu