GNU bug report logs - #30647
[PATCH] guix build: Support '--remote-log-file=PACKAGE'.

Previous Next

Package: guix-patches;

Reported by: Oleg Pykhalov <go.wigust <at> gmail.com>

Date: Wed, 28 Feb 2018 14:21:02 UTC

Severity: normal

Tags: patch

Full log


Message #17 received at 30647 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: ludo <at> gnu.org
Cc: 30647 <at> debbugs.gnu.org
Subject: Re: [bug#30647] [PATCH] guix build: Support
 '--remote-log-file=PACKAGE'.
Date: Thu, 01 Mar 2018 16:16:36 +0100
Hullo,

On 2018-02-28 23:13, ludo <at> gnu.org wrote:
> What did you think of having ‘--log-file’ transparently fall back to
> searching for log files on substitute servers?
> 
> I find it handy, but also wondered if it might surprise users that such
> a trivially-looking option connects to external servers.

It would pleasantly surprise me :-)

(...well, not really ‘surprise’ — just more Guixy network-transparent 
goodness.)

TBH, I don't see the difference between this & all other actions that 
already connect to external servers.

Is this different? Will it ignore ’--no-substitutes’, or ping servers 
outside of user-approved substitute-urls? Does it need to?

> I thought about having it print something when it does so.

Like a progress bar? Seems more eye-catching than yet another warning. 
Or something more permanent in/next to the downloaded log?

Kind regards,

T G-R

Sent from a Web browser. Excuse or enjoy my brevity.




This bug report was last modified 7 years and 105 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.