From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id EP6POb2kHWYGcQEAe85BDQ:P1 (envelope-from ) for ; Tue, 16 Apr 2024 00:05:50 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id EP6POb2kHWYGcQEAe85BDQ (envelope-from ) for ; Tue, 16 Apr 2024 00:05:50 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=a+MXZsPL; dkim=pass header.d=wolfsden.cz header.s=mail header.b=QQJOhXH5; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=wolfsden.cz ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1713218749; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=xCO5oxC1EIxla0TNFDeZGaYyX7h5OFsyP0GQ/8smsk4=; b=RyFxEk+WBFoVBJRyIk2+zgiO+v+DKKT6LRPJCXBUdN94XCvqjLOxjevqtZOrb2U05I4Ogz eCF7NMIOqrgN7DCyvxDF8mWMICP39MHiFzIQZf/T7POFwwv7nqchsKqnenc3j3TLvZ2KWC 1gt0cS/mDoBN2UpALdj6Jr6rPdRUFviDGCH/xxrDPovxIb5tjwvNeMauWw9ndiF14tYfEk kmCSj3ZIpT7kbWxfbP3CeVvXAsU9cFoITnU9+chvMxFPxFDcAlnqulNxIJS8dFkGsvEY+y 3v7NS51z4Jl937PgUPmOXOzvTkP2wftMEeayTNCY3+ywe4k1uL3hQkine/oGIQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1713218749; a=rsa-sha256; cv=none; b=OCn06QIbXx703xahcuHk8kB9zXln+J7yDWN0Z4akElKUg0SI13k8eLFOJYFJQ1oMAWZnyK 7V6OBgKDuRw1WT2WhB3i+VW7tokT2Z9i6xLoLy9fsNeQ+yvvvumoibovXFYLr+6RP4DAeF U11F7Lnjqu9hjNk8sLeq8pwPpuZkJsu/YIcBDxgNoakIgPDDiVquJnhDhJR22xg9w+c7+q tI72tE0SUlNwHZre2+VJQZFWlmn0HIT4hTZgPUsDe4R73p5x8/+00UaT6gEwnV9P0sldVR DlCTOcejZw+YKtJ5RNoEcS6Xw8DC8k4dYxG7zu7QO1xxxZzGCFp5SONAE0wwMA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=a+MXZsPL; dkim=pass header.d=wolfsden.cz header.s=mail header.b=QQJOhXH5; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=wolfsden.cz Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7D2E76A2EB for ; Tue, 16 Apr 2024 00:05:49 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rwURZ-0002ww-Fe; Mon, 15 Apr 2024 18:04:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <~@wolfsden.cz>) id 1rwURM-0002wB-EW for guix-devel@gnu.org; Mon, 15 Apr 2024 18:04:41 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <~@wolfsden.cz>) id 1rwURJ-0001RA-Gs; Mon, 15 Apr 2024 18:04:40 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 0D524249DA0; Mon, 15 Apr 2024 22:04:32 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1713218672; bh=ExV1lOx98ZqRTwAhIGsiVIu3wi7BujYEyY1Qb5RWYc0=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=a+MXZsPLjUNq+BHa/2/7XRCwNocJGqxxuZ07s8U+G6C7OrNVF1dNcX9yseoytDVR1 SBgfRQQP+9ZeppU5bhGqvs6uIRrtcg3cSXAbM5nVaaM8VPkHWeF7L4kp+uYgE0sL38 Q5vaC7obdzHL3XbGEKujkIlS82G7Ruk4rNsa2jb6tzCu702fNKwotKkIv9eMmfUusE c05+Fkmw8tDcjONW+WVhbZyCpkooT3oAb7BCs8dGBSmw+e8uoUaGGYaE3B4JVRF8Jd 2ZwojiyTb/25sqUQaCg8m5UVf6G3q3YSXKLWTAbcURmer2/3ag8J0trJBb2Ez/TKZh 5/pqyBso+dWKEtHOiU1VZih3CODkZzzU4qnkHtghpS8uZZuL3iAPXTCjjvhXhAdkJ/ rQ5DNwXBFeISKqLSzFQ9p3HJJNAbmdoz37D6+VQmyHz4mPf41/m8ofokp+7bQPrHze elKZ4PfjB0PELrSmyezSXXlXaZxCc7LcJRer8rMwlZF6OPQpaRrUea2yysXTNSniib OZrDTgBZJlD/FDlyk/d+Zan/N7pNb2GdBM96VeTbP1LKjRBwXwPxrcnNMNPmnSr7jT ifuI2kKYKr7eyix1Ceh+9w4K2GJUcueCkv2GwyQy8y33t18DRmRmGOvxLAfXYnQlYX 6ono6tnExFtYCFMQb2UenhZE= Received: from localhost (unknown [81.17.16.88]) by wolfsden.cz (Postfix) with ESMTPSA id 165632496A5; Mon, 15 Apr 2024 22:04:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1713218671; bh=ExV1lOx98ZqRTwAhIGsiVIu3wi7BujYEyY1Qb5RWYc0=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=QQJOhXH5I8kTScVOngCKw95s63WMx+4E35+FcwYAc73jpqtnB/rqpX2SHkNLy2K96 lTWu/0FkKc+Aibnj0PDE870cpecukS3enyWA7dHA2mkL+nzmItN4NYouZDwF+U+U8a 6R24Gx+HJffuNebw3FlumF16KDTqimeTGms0WUGeNqvhl42QYP9qumr5+jOwIwbsph XD9iK9vmRXO0yHWAN71QzoTba+CloRQD9febM0jTLsa5SV2Hz3bc/AD6TTckh8X0ZN 2z0G8ogwC3DxfwRn02FBPTLD0/KY2SCbRmdB5JBoe1oV4e3Z9tMiIePCEyHFl9bs6M 3O+FJPY9MWlPlW2nO5bcm0Us2W/6wagsKCjcUSCZeoRBYVXtkQuWtQoBEh1F8g3PKP YRuDdctHWJPjftqHMYfrqlnxjWityUpJ6CTRXkKnqJqiYo51Vp91hUoC8AME7bvpF1 67iLnpEiNxqn08kFPkcPxfx7MdhWiazVdrZlD7hfbF+XldXjdGeGanuiyCRd8I/odD 786KYAwem4plpKewEtyIkR9MX2RnYVaCR4oQQvSApRzsLxkd5lmhXud1QN05v0x2OX r3tYhu8KxbxPbPGUSFRwPG4L++yf7PC5xcG3NZuXJiBvc0F4wI68n1JFNLNMhuxus5 z/T3SUtLFN6xfcBDzA5je69o= Date: Tue, 16 Apr 2024 00:04:30 +0200 From: Tomas Volf <~@wolfsden.cz> To: Ludovic =?iso-8859-1?Q?Court=E8s?= Cc: guix-devel@gnu.org Subject: Re: The `channels' field of `operating-system' record Message-ID: Mail-Followup-To: Ludovic =?iso-8859-1?Q?Court=E8s?= , guix-devel@gnu.org References: <87y19li6wo.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="teL8Sa/HR/2SQcDT" Content-Disposition: inline In-Reply-To: <87y19li6wo.fsf@gnu.org> Received-SPF: pass client-ip=37.205.8.62; envelope-from=~@wolfsden.cz; helo=wolfsden.cz X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -11.59 X-Spam-Score: -11.59 X-Migadu-Queue-Id: 7D2E76A2EB X-Migadu-Scanner: mx13.migadu.com X-TUID: JeDSwsY3fntT --teL8Sa/HR/2SQcDT Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 2024-04-10 17:17:27 +0200, Ludovic Court=C3=A8s wrote: > Hello, > > Tomas Volf <~@wolfsden.cz> skribis: > > > After ~2 hours of digging I realized this is caused by the changes in > > 883e69cdfd226c8f40b6e3b76ce0740b59857de6. > > > > I see couple of issues here (in no particular order, questions prefixed= with Q): > > > > * My configuration file just *silently* stopped working. > > > > That is not great for obvious reasons. > > > > * There is no news entry > > Oops, my apologies; the change felt pretty innocuous when I merged it, > but in hindsight, it seems clear that a news entry was warranted. > Lesson learned. > > We can still add that news entry, though fewer people will see it now. > > Thoughts? Sorry for the late response, I have sadly been somewhat busy. I see, so ev= en if you add the news entry now, only people who had not yet pulled the commit in question would see it. If that is the case, there is probably not much of a reason to do it now. > > > * Broken default behavior. > > > > Currently, out of the box, extra-special-file with "/etc/guix/channels.= scm" just > > does not do anything. No error, no warning. That is pretty unexpected. > > Yes, why is that? At first sight, that=E2=80=99s because =E2=80=98extra-= special-file=E2=80=99 > does things at activation time; there=E2=80=99s no check happening at > configuration time. > > It was really meant for /bin/sh, /usr/bin/env, and similar. The reason > its effect is silently dismissed in this case is, I think, because its > activation runs before the /etc activation. So it=E2=80=99s really bad l= uck. > > I=E2=80=99m not sure what to do here, apart from maybe recommending again= st > broad use of this service. I will re-phrase the above into a documentation patch. > > > * There is no terse way to turn it off > > > > Currently my configuration contains this: > > > > (modify-services %base-services > > (guix-service-type > > config =3D> (guix-configuration > > (inherit config) > > (channels #f)))) > > Hmm right. You do want to create /etc/guix/channels.scm though, right? > (Since you had it initially.) Yes, I do want to create it, but with (channels #f) the (extra-special-file) works again. ^_^ > > > * Q: Is there an easy way to fill (channels)? > > > > After I learned that (channels) is a thing, I wanted to use it, but did= not find > > any simple way how to do so. My channels are in channels.scm produced = by `guix > > describe --format=3Dchannels', and I do not see any simple way to pass = the content > > of that file into (channels). No, it does not accept (local-file). I = tried > > just (read)-ing it, but that too does not work. > > That would be: (guix-configuration =E2=80=A6 (channels (load "channels.sc= m"))). That does not seems to work, I am getting this error: /tmp $ guix system build os.scm ;;; compiling /tmp/channels.scm ;;; /tmp/channels.scm:1:7: warning: possibly unbound variable `channel' ;;; /tmp/channels.scm:2:9: warning: possibly unbound variable `name' ;;; /tmp/channels.scm:3:9: warning: possibly unbound variable `url' ;;; /tmp/channels.scm:4:9: warning: possibly unbound variable `branch' ;;; /tmp/channels.scm:5:9: warning: possibly unbound variable `commit' ;;; /tmp/channels.scm:7:9: warning: possibly unbound variable `introduc= tion' ;;; /tmp/channels.scm:8:11: warning: possibly unbound variable `make-ch= annel-introduction' ;;; /tmp/channels.scm:10:13: warning: possibly unbound variable `openpg= p-fingerprint' ;;; compiled /home/wolf/.cache/guile/ccache/3.0-LE-8-4.6/tmp/channels.s= cm.go Backtrace: In guix/scripts/system.scm: 1306:4 19 (_) In ice-9/boot-9.scm: 1752:10 18 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type = _) In guix/store.scm: 661:37 17 (thunk) 1300:8 16 (call-with-build-handler # =E2=80=A6) 2180:25 15 (run-with-store # _= #:guile-for-build _ =E2=80=A6) In guix/scripts/system.scm: 848:2 14 (_ _) 722:8 13 (_ #) In gnu/system.scm: 1300:19 12 (operating-system-derivation _) 837:11 11 (operating-system-services #< kernel: #<= package linux-libre=E2=80=A6>) In /tmp/os.scm: 19:12 10 (services #< kernel: #) In gnu/services.scm: 383:23 9 (%modify-services (#< type: # v=E2=80=A6> =E2=80=A6) =E2=80=A6) In srfi/srfi-1.scm: 460:18 8 (fold # =E2=80=A6) In gnu/services.scm: 384:37 7 (_ #< type: # val= ue: #< =E2=80=A6) 354:28 6 (apply-clauses _ #< type: # value: =E2=80=A6> =E2=80=A6) In /tmp/os.scm: 23:36 5 (_ #< type: # val= ue: #<) In ice-9/boot-9.scm: 2836:4 4 (save-module-excursion #) 4388:12 3 (_) In /tmp/channels.scm: 1:7 2 (_) In ice-9/boot-9.scm: 1685:16 1 (raise-exception _ #:continuable? _) 1685:16 0 (raise-exception _ #:continuable? _) ice-9/boot-9.scm:1685:16: In procedure raise-exception: error: channel: unbound variable But after some experimentation (and looking into pull.scm), it seems what I= need is this: (use-modules (guix ui)) (use-modules (guix channels)) and (channels (load* "channels.scm" (make-user-module '((guix channels))))) Which, while not exactly obvious, does work. Maybe it would be best to extract (load-channels) from pull.scm into guix/channels.scm, exporting it? (Since for example the above is missing e= rror checking code from (load-channels)). > > > * Q: Is the default value right? > > > > Currently it defaults to %default-channels, which causes all this magic= =2E Would > > it not be better to default to #f, so that it would do nothing magical = out of > > the box and would be backwards compatible? You could still turn it on = by > > (Somehow? See above.) providing desired value. > > Yes, we could change the default to #f: it=E2=80=99s equivalent to > =E2=80=98%default-channels=E2=80=99 but wouldn=E2=80=99t cause the undesi= rable side effect you > experienced. > > Do you want to prepare a patch (or two)? :-) I will try to get to it over the weekend. > > Thanks for your feedback, and apologies again for the inconvenience! No worries, these things happen ^_^ > > Ludo=E2=80=99. > Tomas -- There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors. --teL8Sa/HR/2SQcDT Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAmYdpG4ACgkQL7/ufbZ/ wamVBg//c2ePh9E5EVEwqkRVYloI1AtD01vM2EwvV3PTOxqn1N7jg+G4ZnGbnBa9 rYeRb2NM8RoZkRp+c9hZC2JsO2kqDBRHtpBf9amXDF5/iWlFw0UT8lrHu7Tc3pcr h8hzbP9e4dD/f23/n5IX1OUFo3dOVZJw0dRQg05wtsc7j7z8ovlGLbK/ir7zp3OL 55Dznx6iD3SMEI2rwyHKrbXuLAiJjTb1j8cQEB3+iJX4liCR8p9YVCBiQHL5Pzsx zOCUCm2RrDfdcZxwhxP1EYlbmVBymUve0P7LNBEq1eXUdcyJ8WnTgnWeYI++TEtl 2A2LIX3g6qywOYTm2FyaHjT6YOcTFJHvAkkwaVqCJJZa6wVnjAjHr9TPjm2XIIkd 0sl1frPeAoIhvCptlywUQcqW8UahjuPLriKH9PJteYlp6I81DXtbg60RxOZHLWjO EuZ4vEA3qD4u53BmiR9FKKCLvWCN0BBL1B7pIFR2bKMuBF000AmuhAAW4LnefaXM 9u0qK4AB4WIEjfdB3nhp5ShJOhXSdRhWHcpNVFImi0GHWuhfRtb3GjXcvvDR7tp0 WrwkCFCeUJzlXf3zujVBqqgkX1tYp3Dvg7J5vSadodaFVVy1yRt24eMMhFdwzE5G vdROR7rSOxFKhJH7St9mY+a1TB5QWeg/Kx+mXCw8fCs0heT+xGY= =44Ny -----END PGP SIGNATURE----- --teL8Sa/HR/2SQcDT--