Subject: Re: bug#15762: guix refresh -u broken

From: Andreas Enge <[email-masked]>
Date: Wed, 30 Oct 2013 22:34:47 +0100

On Wed, Oct 30, 2013 at 10:20:52PM +0100, Ludovic Courtès wrote:
> Works for me.
> 
> Note that when run outside of ./pre-inst-env, it modifies the installed
> gnunet.scm file.  Is this what happened?

I tried again with libmicrohttpd (which is smaller). It works with
./pre-inst-env by modifying the file below the current directory, and
indeed modifies the installed file without pre-inst-env. Which is
logical upon thinking it through. Sorry for the noise!

Andreas