From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35988) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1erVgN-0004WH-5A for guix-patches@gnu.org; Thu, 01 Mar 2018 16:24:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1erVgJ-0006Vf-Rs for guix-patches@gnu.org; Thu, 01 Mar 2018 16:24:07 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:60131) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1erVgJ-0006Uq-Nw for guix-patches@gnu.org; Thu, 01 Mar 2018 16:24:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1erVgI-0006NV-F6 for guix-patches@gnu.org; Thu, 01 Mar 2018 16:24:03 -0500 Subject: [bug#30647] [PATCH] guix build: Support '--remote-log-file=PACKAGE'. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20180228141959.19789-1-go.wigust@gmail.com> <87po4ou5ie.fsf@gnu.org> <940aba4e5d289b70aa499525c0093704@tobias.gr> Date: Thu, 01 Mar 2018 22:23:30 +0100 In-Reply-To: <940aba4e5d289b70aa499525c0093704@tobias.gr> (Tobias Geerinckx-Rice's message of "Thu, 01 Mar 2018 16:16:36 +0100") Message-ID: <87d10n4hil.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Tobias Geerinckx-Rice Cc: 30647@debbugs.gnu.org Hey Tobias, Tobias Geerinckx-Rice skribis: > On 2018-02-28 23:13, ludo@gnu.org wrote: >> What did you think of having =E2=80=98--log-file=E2=80=99 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 :-) Good. :-) > TBH, I don't see the difference between this & all other actions that > already connect to external servers. > > Is this different? Will it ignore =E2=80=99--no-substitutes=E2=80=99, or = ping servers > outside of user-approved substitute-urls? Does it need to? It=E2=80=99s not really different, indeed. (The only thing is that the lis= t of substitute URLs that is used by =E2=80=98--log-file=E2=80=99 can differ fro= m that of guix-daemon; but that=E2=80=99s a bug, really.) >> 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? =E2=80=98--log-file=E2=80=99 just probes remote servers without actually do= wnloading the log, so a progress bar wouldn=E2=80=99t be useful. I was thinking of a message like: info: looking for build log at https://=E2=80=A6/log/=E2=80=A6-foo Ludo=E2=80=99.