From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:39925) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1erVn8-0005Tn-1b for guix-patches@gnu.org; Thu, 01 Mar 2018 16:31:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1erVn4-0005da-Pm for guix-patches@gnu.org; Thu, 01 Mar 2018 16:31:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:60140) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1erVn4-0005dE-Lg for guix-patches@gnu.org; Thu, 01 Mar 2018 16:31:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1erVn4-0006YR-5k for guix-patches@gnu.org; Thu, 01 Mar 2018 16:31:02 -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> <874lm06ic9.fsf@gnu.org> <87606f3it9.fsf@gmail.com> Date: Thu, 01 Mar 2018 22:30:12 +0100 In-Reply-To: <87606f3it9.fsf@gmail.com> (Oleg Pykhalov's message of "Thu, 01 Mar 2018 18:40:50 +0300") Message-ID: <878tbb4h7f.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 Oleg Pykhalov skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >>>>> =E2=80=98--remote-log-file=E2=80=99 allows to get a URL for a build l= og file on a substitute >>>>> server regardless is it built locally. =E2=80=98--log-file=E2=80=99 = returns always local >>>>> build log file. >>>> >>>> What did you think of having =E2=80=98--log-file=E2=80=99 transparentl= y fall back to >>>> searching for log files on substitute servers? >> >> To put it differently: what do you dislike about the current behavior? > > Suppose package build failed locally. I want to receive a log from a > remote server. I could do it manually by: > > 1. Removing local failed log. > 2. =E2=80=98wget=E2=80=99, but I need to know a URL. The URL scheme is documented and easy to use (info "(guix) Invoking guix publish"). That=E2=80=99s why I don=E2=80=99t find wget to be much of a pr= oblem. >> No no: keep the current behavior, but print something when we=E2=80=99re= looking >> for a remote log file (currently it silently checks whether the remote >> log file is available.) > > Still not clear to me. If =E2=80=98guix --log-file=E2=80=99 checks for a= remote log > file, then it gets a valid URL to a remote build log file for free, > doesn't it? Correct. See =E2=80=98log-url=E2=80=99 in (guix scripts build). >>> 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 h= ello) >> >> I see. I guess I=E2=80=99ve never wanted that, or rather, when I do, I >> explicitly wget the remote log file. :-) > > Could I ask What's your workflow for =E2=80=98wget=E2=80=99? Something like: $ guix build foo /gnu/store/xyz-foo $ wget -O log https://berlin.guixsd.org/log/xyz-foo =20=20 >>> As a better approach in addition to =E2=80=98--no-substitutes=E2=80=99,= maybe we could >>> implement =E2=80=98--only-substitutes=E2=80=99 (as I remember Nix has i= t)? 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.) > > Yes, but benefits (especially avoid building packages locally) are > worth. > > If you don't agree with the patch, I'll not complain and will try to > work on =E2=80=98--only-substitutes=E2=80=99. :-) Heheh. :-) IIRC, --only-substitutes in Nix is used together with --upgrade, no? Some considered it questionable from a security standpoint when we last discussed it: . Thanks, Ludo=E2=80=99.