From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 84lEK0aSsl+jGAAA0tVLHw (envelope-from ) for ; Mon, 16 Nov 2020 14:52:54 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id qOHRJkaSsl/+EQAAbx9fmQ (envelope-from ) for ; Mon, 16 Nov 2020 14:52:54 +0000 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 55EDC94011C for ; Mon, 16 Nov 2020 14:52:54 +0000 (UTC) Received: from localhost ([::1]:59592 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kefsD-00031w-8R for larch@yhetil.org; Mon, 16 Nov 2020 09:52:53 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:35412) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kefrs-0002uF-GY for guix-devel@gnu.org; Mon, 16 Nov 2020 09:52:32 -0500 Received: from mail-wm1-x332.google.com ([2a00:1450:4864:20::332]:36369) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kefrq-0006F3-Mm for guix-devel@gnu.org; Mon, 16 Nov 2020 09:52:32 -0500 Received: by mail-wm1-x332.google.com with SMTP id a65so23890891wme.1 for ; Mon, 16 Nov 2020 06:52:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=fMS745KgS9PhHIocT3CBVlViyqyWpcIRtgW56sB6hfs=; b=ddzWoXlmQguC968paiVQRyNA+ej5rCFtwj3ixSSSh+QU8HuWJ9w48SsNqZqBS1vLex Nnu2B1+EfJu0N1nnBq04P19/+Cqvr3fDA1P4iJVR1JCBIBVg+a0AHXg+LSKrjiqvAgAd mO8GDXqwuqJ94VVMbXs/vm/rnPdvW9mF4RexfR2gPe1Vh6Ew0aT7WjUlGm35Tz4JO+Jt SoTFnanp5qw6atyFVIRVsP5PTxa7uQQdG7TjvT8lFKkKjyp1jvTiW1S8m3F6BJwK71zb XTl/1SU5pMkPXuICppA7BKyKOUhcnYFkbXCGEONs+ZQso9ILsoaPRRW8MVzTCaqujSr/ u5lQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=fMS745KgS9PhHIocT3CBVlViyqyWpcIRtgW56sB6hfs=; b=Lr1xr/6oFNZTbRa2CtuvlwAi1/ujJJUwVZcTlurEfhSoKYHsYaLNcA/F7QRY6IU4rq KSuQEM/Zq9fIRzWda2wAKVlpS/grRMUlEOtEu9s0Fj7NtChURyYTyD/DFdpkO5MvPxKa AooApNrX7jMTLZCgqEhWNbUdiZ6EzNRCRKEp4HsbuIQVPQJaDBC5fvlbR/1bDPgL+xOT NGHl6LOv3nws/ht0kGkK8cpLICMUfcTMdk9DZQCrnIuRGNJdfXfcq5cGvUHvEpxpYM96 KedJdrWO0b5VF9Sr+TrkzVM+QPKf7qkiwVjTmfEoh/pWvumnF0T+DyBSZ7Be7QQzaZot mypg== X-Gm-Message-State: AOAM5319Wlts9t8QxkKQlx+ojIwyENb3RLlJ1pNHnr58KBoLXaJQoFhK fVbf9Lx1rA4sK8CAchDoy5QZZZGs7dBEdQ== X-Google-Smtp-Source: ABdhPJwZ76d5e4ctFpFRWTEzouSKqqJHbcaP8QvVk6192clHw5s+VfU9eIyspdM9ZpDZEHVP/r1nmw== X-Received: by 2002:a1c:9e0e:: with SMTP id h14mr2056170wme.63.1605538348816; Mon, 16 Nov 2020 06:52:28 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id d134sm19901066wmd.8.2020.11.16.06.52.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 16 Nov 2020 06:52:28 -0800 (PST) From: zimoun To: Tobias Geerinckx-Rice Subject: Re: Discoverability at the REPL level In-Reply-To: <87r1otwg8o.fsf@nckx> References: <86d00evkmr.fsf@gmail.com> <87r1otwg8o.fsf@nckx> Date: Mon, 16 Nov 2020 15:47:19 +0100 Message-ID: <86v9e5qryg.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::332; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x332.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=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.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20161025 header.b=ddzWoXlm; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.71 X-TUID: aqwa8dW9BWlV Hi Tobias, On Mon, 16 Nov 2020 at 15:03, Tobias Geerinckx-Rice wrote: > I'm unconvinced there's a use case that justifies reinventing=20 > shell aliases in Guix, in a heavy-weight fashion, while=20 > simultaneously not being =E2=80=98worth=E2=80=99 a real Guixtension packa= ge. For example, I have tried to implement something to deal with Reproducibility issues [1]. For instance, I run: guix repl -L . -- weather-repro.scm | sort | grep ghc to list (almost) all the unreproducible Haskell packages. What I would like (not implemented yet) is to be able to filter by build system for example, i.e., adds options. Concretely, let imagine: guix repl -L . \ -- weather-repro.scm --sort=3Dreverse --build-system=3Dhaskell,ocaml which simply becomes: guix weather-repro --sort=3Dreverse --build-system=3Dhaskell,ocaml Shell aliases are too limited, if I am not missing the obvious. Crazier example, use it inside the =E2=80=9Ctime-machine=E2=80=9D: guix time-machine --branch=3Dversion-1.2.0 \ -- weather-repro --sort=3Dreverse --build-system=3Dhaskell,ocaml which is not affordable via shell aliases. Aside the power it should provide to the user hand, it could also be helpful to easily test variant CLI propositions, for example: guix env foo --inputs-of bar doing what =E2=80=9Cguix environment bar --ad-hoc foo=E2=80=9C currently do= es. Cheers, simon 1: