From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:36565) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1erOAr-000590-9F for guix-patches@gnu.org; Thu, 01 Mar 2018 08:23:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1erOAo-0002iI-31 for guix-patches@gnu.org; Thu, 01 Mar 2018 08:23:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:58643) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1erOAn-0002hu-W8 for guix-patches@gnu.org; Thu, 01 Mar 2018 08:23:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1erOAn-0007bE-O7 for guix-patches@gnu.org; Thu, 01 Mar 2018 08:23:01 -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> <87606ge8c5.fsf@gmail.com> Date: Thu, 01 Mar 2018 14:22:46 +0100 In-Reply-To: <87606ge8c5.fsf@gmail.com> (Oleg Pykhalov's message of "Thu, 01 Mar 2018 07:19:22 +0300") Message-ID: <874lm06ic9.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: Oleg Pykhalov Cc: 30647@debbugs.gnu.org Hello, Oleg Pykhalov skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Oleg Pykhalov skribis: >> >>> =E2=80=98--remote-log-file=E2=80=99 allows to get a URL for a build log= file on a substitute >>> server regardless is it built locally. =E2=80=98--log-file=E2=80=99 re= turns always local >>> build log file. >> >> 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? > > Sorry, I don't understand the question. Does the =E2=80=9Cfall back=E2= =80=9D mean the > behavior before a patch? To put it differently: what do you dislike about the current behavior? >> I find it handy, but also wondered if it might surprise users that such >> a trivially-looking option connects to external servers. I thought >> about having it print something when it does so. Would address your >> concerns? > > Do you mean always connect to the external server and print a URL for a > log file in addition to path of local log file? No no: keep the current behavior, but print something when we=E2=80=99re lo= oking for a remote log file (currently it silently checks whether the remote log file is available.) > I don't think mixing those in one output is good, because for example > you cannot do like: > > diff -u <(guix build --log-file hello) <(guix build --remote-log-file hel= lo) I see. I guess I=E2=80=99ve never wanted that, or rather, when I do, I explicitly wget the remote log file. :-) So I guess I=E2=80=99m unconvinced about the need for a separate =E2=80=98--remote-log-file=E2=80=99 option. What do people think? Ricardo? > As a better approach in addition to =E2=80=98--no-substitutes=E2=80=99, m= aybe we could > implement =E2=80=98--only-substitutes=E2=80=99 (as I remember Nix has it)= ? Such flag > will return a remote log file and will avoid building packages locally. That could be an option, but that=E2=80=99s much more work (not limited to = log file handling.) Thanks, Ludo=E2=80=99.