Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Thu 25 Jan 2018 06:31, Maxim Cournoyer writes: > Where does this `invoke' comes from? Geiser is unhelpful at finding it, > and it doesn't seem to be documented in the Guile Reference? https://lists.gnu.org/archive/html/guix-devel/2018-01/msg00163.html

Re: question regarding substitute* and #t

2018-01-24 Thread Maxim Cournoyer
Andy Wingo writes: > On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > >> Andy Wingo writes: >> >>> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >>> + ;; Install to the right directory + (substitute* '("Makefile" +"Qsci/Make

Re: weird errors; shepherd

2018-01-24 Thread Ludovic Courtès
Danny Milosavljevic skribis: > On Wed, 24 Jan 2018 15:47:16 +0100 > l...@gnu.org (Ludovic Courtès) wrote: > >> I’m not sure what you mean. There’s no notion of dependencies among >> activation snippets, let alone between activation snippets and service >> starts (when booting, activation snippet

Re: question regarding substitute* and #t

2018-01-24 Thread Ricardo Wurmus
Andy Wingo writes: >> I wonder why substitute* not simply returns #t?! > > There was a proposal to make it return #t! However then someone pointed > out that actually instead of making phases return boolean results, we > should instead signal problems via exceptions, and that drove the shift >

Cuirass news

2018-01-24 Thread Ludovic Courtès
Hello Guix! Over the last few days, out of frustration ;-), I hacked Cuirass to improve several things: • Logging is improved: useful events are logged, including build started/succeeded/failed (using a variant of what I proposed in the Guix ‘wip-ui’ branch). This makes it much easier

neomutt package maintenance

2018-01-24 Thread ng0
Just a heads-up message: I've (probably) switched clients for good now, and I am no longer using neomutt. I don't have the time to deliver a timely appropriate update of our neomutt package. I've seen some of us developers using it (or originating from other distros the package?). It would be good

Re: question regarding substitute* and #t

2018-01-24 Thread Kei Kebreau
Andy Wingo writes: > On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > >> Andy Wingo writes: >> >>> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >>> + ;; Install to the right directory + (substitute* '("Makefile" +"Qsci/Make

Re: GuixSD on Olimex A20 OLinuXino?

2018-01-24 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: >> I have one of these (maybe not the “LIME”, but does it make a >> difference?). > > Yes, it makes a difference (in U-Boot only). > > Which one do you have? There's MICRO, LIME, LIME2 and additional > variants with eMMC and without eMMC. It’s the MICRO. >

Re: Guix Workflow Language ?

2018-01-24 Thread Roel Janssen
Dear Zimoun, zimoun writes: > Dear, > > Thank you to provide a workflow manager! > It is fun. :-) Thanks for looking at the GWL. > > I am currently investigating to describe basic and simple workflows. > And there is a couple of solutions, from python-oriented Snakemake > with Conda capabilitie

Re: weird errors; shepherd

2018-01-24 Thread Danny Milosavljevic
Hi Ludo, On Wed, 24 Jan 2018 15:47:16 +0100 l...@gnu.org (Ludovic Courtès) wrote: > I’m not sure what you mean. There’s no notion of dependencies among > activation snippets, let alone between activation snippets and service > starts (when booting, activation snippets run *before* shepherd is >

Re: [RFC] A simple draft for channels

2018-01-24 Thread Ricardo Wurmus
myg...@gmail.com writes: > Ricardo, AIUI, your channels don't work like this. But I am at a loss to > say how they will work in practice from the user's POV. If you could > write such a description it would sure help us understand the proposal > better. This draft is similar to how Conda channel

Re: GuixSD on Olimex A20 OLinuXino?

2018-01-24 Thread Danny Milosavljevic
> Most of these should already have entries in > gnu/system/install.scm . If not, one can easily add one > (add entry to gnu/bootloader/u-boot.scm, inheriting from allwinner-bootloader, > and then add entry to gnu/system/install.scm using it) Oh yeah, and a bootloader package into gnu/packages/b

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread Adam Van Ymeren
n...@n0.is writes: > > Out of curiosity: Where do you use gnURL in the system? For > normal user experience it was never intended (though it would > work). It would be nice to know if another project depends on it, > as we've started looking into wget2 as a successor to cURL for > GNUnet. I don't

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread ng0
On Wed, 24 Jan 2018, Adam Van Ymeren wrote: > n...@n0.is writes: > >>> The problem I'm trying to address is the same horror story we >>> have with cURL: We need to be able to reference a certificate >>> store. >>> So far no one in 2+ years fixed this in our cURL to my best >>> knowledge, so my ide

Re: [RFC] A simple draft for channels

2018-01-24 Thread myglc2
On 01/24/2018 at 15:08 Ludovic Courtès writes: > Hello, > > iyzs...@member.fsf.org (宋文武) skribis: > >> Ricardo Wurmus writes: >> >>> Hi Guix, >>> >>> I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party >>> packages, because we can’t really keep track of packages that were adde

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread Adam Van Ymeren
n...@n0.is writes: >> The problem I'm trying to address is the same horror story we >> have with cURL: We need to be able to reference a certificate >> store. >> So far no one in 2+ years fixed this in our cURL to my best >> knowledge, so my idea as a maintainer of gnURL was to simply >> apply thi

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread Adam Van Ymeren
n...@n0.is writes: >> The problem I'm trying to address is the same horror story we >> have with cURL: We need to be able to reference a certificate >> store. >> So far no one in 2+ years fixed this in our cURL to my best >> knowledge, so my idea as a maintainer of gnURL was to simply >> apply thi

Re: Meltdown / Spectre

2018-01-24 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver skribis: > >> FYI, in another thread, I recently posted preliminary patches to add the >> GCC 7.3 release candidate as a Guix package, and to use it to build >> linux-libre on x86_64 and i686 systems: >> >> https://lists.gnu.org/archive/htm

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 15:45, Hartmut Goebel writes: > Am 24.01.2018 um 13:14 schrieb Andy Wingo: >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile" >>> +"Qsci/Makefile") >>

Re: question regarding substitute* and #t

2018-01-24 Thread Andy Wingo
On Wed 24 Jan 2018 14:28, Mark H Weaver writes: > Andy Wingo writes: > >> On Wed 24 Jan 2018 13:06, Mark H Weaver writes: >> >>> + ;; Install to the right directory >>> + (substitute* '("Makefile" >>> +"Qsci/Makefile") >>> + (("\

Re: [RFC] A simple draft for channels

2018-01-24 Thread Konrad Hinsen
On 24/01/2018 13:33, n...@n0.is wrote: In my honest opinion: No. We can not prevent this. All we can do is to provide a list of *official* channels. Beyond that I don't think we should try to regulate what's in an unofficial channel and what's allowed. +1 The best option in my opinion is to m

Re: weird errors; shepherd

2018-01-24 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: > Everyone: > > After I've tried writing some shepherd service I have to say that writing a > shepherd "start" action is way too difficult. > > Even now, I've not gotten to work: > > * Having the activation depend on any other service. I’m not sure what you m

Re: question regarding substitute* and #t

2018-01-24 Thread Hartmut Goebel
Am 24.01.2018 um 13:14 schrieb Andy Wingo: > On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > >> + ;; Install to the right directory >> + (substitute* '("Makefile" >> +"Qsci/Makefile") >> + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+"

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread Ricardo Wurmus
n...@n0.is writes: > Why? Why are we waiting for months and months and months to > patch every single application instead of simply fixing cURL > or our build of cURL and close this case? This is only about libcurl. Libcurl expects that a user (i.e. a programme linking with libcurl) sets the ce

Re: Guixsd.org domain

2018-01-24 Thread Ludovic Courtès
Hi Andreas, Andreas Enge skribis: > just for your information, I am in the process of moving the guixsd.org > domain from my personal account to Guix Europe and also to a different > registrar. I suppose that the DNS records will just move with it, but I > am not totally sure; so if servers appe

Re: Errors encountered in building guix from source.

2018-01-24 Thread Ludovic Courtès
Fis Trivial skribis: > * Do as the menu said > So I ran the following command in sequence: > $ guix environment guix --ad-hoc help2man git strace > $ ./bootstrap > $ ./configure --localstatedir=/var > > The last configure command resulted in error, here is the last part from > output: > > config

Guix Workflow Language ?

2018-01-24 Thread zimoun
Dear, Thank you to provide a workflow manager! It is fun. :-) I am currently investigating to describe basic and simple workflows. And there is a couple of solutions, from python-oriented Snakemake with Conda capabilities to Common Workflow Language or Workflow Description Language. https://snak

Re: Overriding PostGIS install directories

2018-01-24 Thread Ludovic Courtès
Hi, Ben Sturmfels skribis: > On Fri, 19 Jan 2018, Ludovic Courtès wrote: > >> However, I’d recommend simply patching ‘configure’ itself in a snippet, >> using ‘substitute*’. That way, you won’t have to add these dependencies >> and extra phase. > > Thanks, substitute* is much neater and changin

Re: Prevent native-inputs references ending up in the final binary

2018-01-24 Thread Ludovic Courtès
Hi, Tobias Geerinckx-Rice skribis: > Leo Famulari wrote on 21/01/18 at 23:37: >> On Sat, Jan 20, 2018 at 04:47:14PM +0100, Tobias Geerinckx-Rice wrote: >>> Danny, >>> >>> Danny Milosavljevic wrote on 20/01/18 at 11:40: We should change that in core-updates-next, if possible. I t

Re: GuixSD on Olimex A20 OLinuXino?

2018-01-24 Thread Danny Milosavljevic
Hi Ludo, > I have one of these (maybe not the “LIME”, but does it make a > difference?). Yes, it makes a difference (in U-Boot only). Which one do you have? There's MICRO, LIME, LIME2 and additional variants with eMMC and without eMMC. Most of these should already have entries in gnu/system/i

Re: Meltdown / Spectre

2018-01-24 Thread Ludovic Courtès
Mark H Weaver skribis: > Leo Famulari writes: > >> On Fri, Jan 19, 2018 at 05:06:25PM -0500, Mark H Weaver wrote: >>> There's now a GCC 7.3 release candidate that apparently contains the >>> necessary compiler support to allow linux-libre-4.14.14 to use the >>> retpoline technique internally. >>

Re: website: say what Guix is at the very top

2018-01-24 Thread Oleg Pykhalov
Hello, myg...@gmail.com writes: [...] >> (I’m not as sure about these proposed individual changes as I am about >> the proposal to separate the pages for Guix and GuixSD.) > > ISTM this difficulty in splitting the content across two pages is a > reason to consider again how to unify the presenta

Re: website: say what Guix is at the very top

2018-01-24 Thread Ludovic Courtès
Hello! Ricardo Wurmus skribis: > Ludovic Courtès writes: [...] >> In principle I think it’s a good idea. In practice I’m not sure what >> this would look like, though. >> >> For instance, does that mean /distro would be a “second home page”, with >> screenshots, contacts, blog entries, basel

Re: website: say what Guix is at the very top

2018-01-24 Thread Ludovic Courtès
Hello, Chris Marusich skribis: > Ricardo Wurmus writes: > >> Hi Guix, >> >> on the website it starts right away with a list of features: >> “Liberating”, “Dependable”, and “Hackable”. But what is this thing >> called Guix? >> >> We should add a very short paragraph above that list to say what

Re: Drive identifiers

2018-01-24 Thread Ludovic Courtès
Ricardo Wurmus skribis: > ;; Get the UUID of the encrypted disk > (define %uuid > (let* ((port (open-input-pipe "blkid -s UUID -o value /dev/sda1")) > (str (read-line port))) > (close-pipe port) > str)) > … > (operating-system … > (mapped-devices (list (mapped-device >

Re: [RFC] A simple draft for channels

2018-01-24 Thread Ludovic Courtès
Hello, iyzs...@member.fsf.org (宋文武) skribis: > Ricardo Wurmus writes: > >> Hi Guix, >> >> I’d like to retire GUIX_PACKAGE_PATH as the main way to get third-party >> packages, because we can’t really keep track of packages that were added >> or redefined in this way. I want to replace it with sl

GuixSD on Olimex A20 OLinuXino?

2018-01-24 Thread Ludovic Courtès
Hello Danny! dan...@scratchpost.org (Danny Milosavljevic) skribis: > commit c55c6985948b12a39cd5805bde95db9a80def3ba > Author: Danny Milosavljevic > Date: Mon Jan 22 22:35:06 2018 +0100 > > system: Add A20 OLinuXino LIME installer. > > * gnu/bootloader/u-boot.scm (u-boot-a20-olinu

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread ng0+guixpatches
Sorry, my email went out-of-order for the past 7 days. I would've sent an explanation to the patch otherwise. Let me comment inline. a...@vany.ca transcribed Tue 23 Jan 2018 08:55:35 PM UTC bytes: > Regarding https://debbugs.gnu.org/30165 > > gnurl is failing to build on my system and I think this

Re: question regarding substitute* and #t

2018-01-24 Thread Mark H Weaver
Hi Andy, Andy Wingo writes: > On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > >> + ;; Install to the right directory >> + (substitute* '("Makefile" >> +"Qsci/Makefile") >> + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+") >> +

Re: [bug#30165] [PATCH] gnu: gnurl: Add '--with-ca-bundle' path to configure-flags.

2018-01-24 Thread ng0
> Sorry, my email went out-of-order for the past 7 days. > I would've sent an explanation to the patch otherwise. > Let me comment inline. > > a...@vany.ca transcribed Tue 23 Jan 2018 08:55:35 PM UTC bytes: >> Regarding https://debbugs.gnu.org/30165 >> >> gnurl is failing to build on my system and

Re: weird errors; shepherd

2018-01-24 Thread Catonano
2018-01-24 13:46 GMT+01:00 Danny Milosavljevic : > Hi Catonano, > > > With "successfully"" you mean that it connects to postgres and it shhows > te > > proper screens in the client ? > > Yes. > > I invoked "tryton" which pops up a GUI. Then I edited the profiles there, > adding "localhost" and th

Re: weird errors; shepherd

2018-01-24 Thread Danny Milosavljevic
Hi Catonano, > With "successfully"" you mean that it connects to postgres and it shhows te > proper screens in the client ? Yes. I invoked "tryton" which pops up a GUI. Then I edited the profiles there, adding "localhost" and then I logged into the client GUI via login "admin" and password "try

Re: weird errors; shepherd

2018-01-24 Thread Catonano
2018-01-23 23:43 GMT+01:00 Danny Milosavljevic : > The attached file is gnu/services/trytond.scm which successfully runs > trytond. > With "successfully"" you mean that it connects to postgres and it shhows te proper screens in the client ? Sometimes the trytond daemon does run but it fails to c

Re: [RFC] A simple draft for channels

2018-01-24 Thread ng0
myg...@gmail.com: > On 01/23/2018 at 16:50 n...@n0.is writes: > >> myglc2 writes: >>> On 01/19/2018 at 14:41 Ludovic Courtès writes: >>> Hi! Ricardo Wurmus skribis: > As a first implementation of channels I’d just like to have a channel > description file that records a

question regarding substitute* and #t (was: Simplifications enabled by switching to 'invoke')

2018-01-24 Thread Andy Wingo
Hi! On Wed 24 Jan 2018 13:06, Mark H Weaver writes: > + ;; Install to the right directory > + (substitute* '("Makefile" > +"Qsci/Makefile") > + (("\\$\\(INSTALL_ROOT\\)/gnu/store/[^/]+") > +(assoc-ref outputs "out"

Simplifications enabled by switching to 'invoke'

2018-01-24 Thread Mark H Weaver
Hello Kei, and other fellow Guix, kkebr...@posteo.net (Kei Kebreau) writes: > commit 0af6ffdd8d81f86a232902a54f99d4cfcd369490 > Author: Kei Kebreau > Date: Tue Jan 23 17:44:53 2018 -0500 > > gnu: qscintilla: Update to 2.10.2. > > * gnu/packages/qt.scm (qscintilla, python-qscintilla

Re: [RFC] A simple draft for channels

2018-01-24 Thread Pjotr Prins
On Tue, Jan 23, 2018 at 09:37:04PM +0100, Ricardo Wurmus wrote: > My initial goal is much simpler. Let's stick to simple for now. Sorry about raising the noise level. I would be extremely pleased with a simple replacement of GUIX_PACKAGE_PATH and I am happy to contribute. Keys etc. we can probabl

Re: Porting GuixSD to ARM article.

2018-01-24 Thread Andreas Enge
On Wed, Jan 24, 2018 at 09:17:48AM +0100, Mathieu Othacehe wrote: > Well "vm-image" is pretty close to "disk-image". The difference is that > "vm-image" output is meant to be run with qemu. Ah, indeed, the output format is different. The other day I converted a vm-image to "raw" format, which I su

Re: Porting GuixSD to ARM article.

2018-01-24 Thread Mathieu Othacehe
Hello, > I see, that is a very interesting observation! Is it documented anywhere? > A further naive question: How does it differ from a vm-image then? Well "vm-image" is pretty close to "disk-image". The difference is that "vm-image" output is meant to be run with qemu. However, there's no qemu