From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id KBQVMa7qWWAgZQAA0tVLHw (envelope-from ) for ; Tue, 23 Mar 2021 13:18:38 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id 2PTnLK7qWWD5bwAA1q6Kng (envelope-from ) for ; Tue, 23 Mar 2021 13:18:38 +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 B0B98237CB for ; Tue, 23 Mar 2021 14:18:37 +0100 (CET) Received: from localhost ([::1]:60486 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lOgvb-0007Jf-SO for larch@yhetil.org; Tue, 23 Mar 2021 09:18:35 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55072) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOgu7-0006Dn-SD for gwl-devel@gnu.org; Tue, 23 Mar 2021 09:17:04 -0400 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21135) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lOgu5-0008PN-Te for gwl-devel@gnu.org; Tue, 23 Mar 2021 09:17:03 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1616505414; cv=none; d=zohomail.com; s=zohoarc; b=lIpO73o8kXsbOnlZqnHZZiB0DSfXeHclwVcWVpw7N2W4VElpIGIRl4+cQZpCo4NJG54MXK4Np+hxmSR7wEDHfQOa2kxxHbaoGPzghTObZH0HKzUc4aPuEFIpuMUudHdafZ8GoBEm+QC7FygixFek4qIj+Aj5z4mDvsdoz7Ng3/M= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1616505414; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=vDevvMcyguJ9yOu6zVYbZHlxLgOl3E/uKDV4ZIZIBHE=; b=nT0v5MAWYjvUCbfDvc24wqTKWdU344VnVZFlqeXdXBt8OafRB/6VYhS+Lz0ZbulWN/s2P0nFZB2kJB9Xxe/U5mqm7wFQsZQycjeC0rLV/au6WSVwSGF/YvNxsEE8LmRMZCG70Vle0doaenujsQFIaK6sB/oDXIrZJ75pzIktPAw= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1616505414; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=vDevvMcyguJ9yOu6zVYbZHlxLgOl3E/uKDV4ZIZIBHE=; b=bNsgO8JEVh7ypamEuHUg2UKEQa1ZykrwmOy9R2GXvI5Se0q57JPxN2Ewy4VpFB6a bqA8elVD8oIy677uiFE4qcescYQt2CRNyZj26GdcJLbOkFi4hlWJpmrbSGSGIvsR0ih DqS3zpCCLo28cQhK8VJlCIpATk7nO39F3ZAKXYdE= Received: from localhost (p54ad4f2a.dip0.t-ipconnect.de [84.173.79.42]) by mx.zohomail.com with SMTPS id 1616505411828994.383099821393; Tue, 23 Mar 2021 06:16:51 -0700 (PDT) References: <86y2efzc08.fsf@gmail.com> User-agent: mu4e 1.4.14; emacs 27.1 From: Ricardo Wurmus To: Konrad Hinsen Subject: Re: Getting started with GWL 0.3.0 In-reply-to: X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Tue, 23 Mar 2021 14:16:48 +0100 Message-ID: <874kh2vwlb.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com 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, 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: gwl-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: gwl-devel@gnu.org Errors-To: gwl-devel-bounces+larch=yhetil.org@gnu.org Sender: "gwl-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616505518; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=vDevvMcyguJ9yOu6zVYbZHlxLgOl3E/uKDV4ZIZIBHE=; b=KDGiyRSo8C1EYqD/OPJCQQwutKGzRpROvXvJelTV+ZQA4DSHbBmWG5FMj+LBlPoPPXrF8/ Ype8qGCAu0J/mq+L/Qq2u0NGPYxWYXZxlM3mV+NhQ1NE6WU4D3FbWV7Mk6Wck1Mhn4NN5f gT3VnFIlWiCFT9/mWZi1f5+/AJASfZ8v8LS13lmrBaNwTmPGFbbPnQoBYjbwgSkb2D/T3o DMGGYcxZyoDf5PYqEF2Z488mvIxg7tWpPkvim/DAewf+Qx4xU5EgQ3f+X5+loarBHMoDSH XsOzvwhrrTyHHc6GExjrXDznLehbfpF+W1Sfy1cDBPeE22tmshhiMZ8yfc4sbg== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1616505518; a=rsa-sha256; cv=fail; b=lDyTw6JoPNbYxQOul7VYq6igkKXZh/u+z1ijCkP1wvxsdrFE5aGfRJMy/iw7J1C8+T114O 84A0t1JSDvdWU8UEd7CzI6UWTSV4gY/JhEynHCB3uOZReseMWjN9g7lzLW2nSnisaxh2ba 84OjYQ9DnO62gaMxt/56FdoDQ1VMNhh73VAVrmwRhf5+SQsbvaYnbxkfp7vC/2Yg8dWn73 3DeuhX8OD5YKtnsquBsYMdLctD2y30IraRLTGxdb02XQ+ZGoYTfTsEX2CiRMipJQgfaYIR pZQ+xJ/LP2nitsuqONDcKRZgsd9JNUrUOFNYk3kzJjjlrTDiXrHJM4voWclOZw== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=bNsgO8JE; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); spf=pass (aspmx1.migadu.com: domain of gwl-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=gwl-devel-bounces@gnu.org X-Migadu-Spam-Score: 0.02 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=bNsgO8JE; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of gwl-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=gwl-devel-bounces@gnu.org X-Migadu-Queue-Id: B0B98237CB X-Spam-Score: 0.02 X-Migadu-Scanner: scn0.migadu.com X-TUID: 90Ap7oYHEwkO Konrad Hinsen writes: > In the long run, maybe a command spell-checker would be a nice way out. > Some piece of software that decides, based on my command history, > whether a command I type is more likely a typo or the intention to run > some exotic software. This would need more work to allow replacement of Guix commands with an extension. For example, I may want to use an extension that replaces =E2=80=9Cguix deploy=E2=80=9D with a variant that can deploy to AWS, fallin= g back to the default =E2=80=9Cguix deploy=E2=80=9D for all other deployments. We should not prevent this use case, so at the very least this needs to be configurable (though I=E2=80=99d be happier if we could come up with a configuration-free solution). A configuration-free alternative could be =E2=80=9Cguix ext pull=E2=80=9D t= o explicitly select the extension named =E2=80=9Cpull=E2=80=9D. There can be no conflic= ts with this scheme, but it=E2=80=99s more work to type. --=20 Ricardo