Re: ‘guix lint’ URL checks

2016-08-30 Thread Leo Famulari
On Sun, Aug 28, 2016 at 01:12:09AM +0200, Ludovic Courtès wrote: > Leo Famulari skribis: > > I wonder, are there any drawbacks of making the linter check that the > > URL provides the data named by the hash? > > The rationale so far was that ‘guix lint foo’ should be fast (a couple > of seconds a

‘guix lint’ URL checks

2016-08-27 Thread Ludovic Courtès
Leo Famulari skribis: > On Wed, Aug 17, 2016 at 09:20:42PM +0200, David Craven wrote: >> Oh, that's embarrassing. I must have forgotten to change the hash and >> guix cached the tarball. Is that possible? > > If the hash is matched in the store, the URL is not used, so you won't > see an incorrec