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 +OYiA0D5316HSAAA0tVLHw (envelope-from ) for ; Tue, 09 Jun 2020 21:04:00 +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 mFppOj/53148CwAAbx9fmQ (envelope-from ) for ; Tue, 09 Jun 2020 21:03:59 +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 98247940391 for ; Tue, 9 Jun 2020 21:03:59 +0000 (UTC) Received: from localhost ([::1]:41224 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jilPa-0000MY-GJ for larch@yhetil.org; Tue, 09 Jun 2020 17:03:58 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36708) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jilIB-0007t8-K6 for guix-devel@gnu.org; Tue, 09 Jun 2020 16:56:19 -0400 Received: from mail-qt1-x834.google.com ([2607:f8b0:4864:20::834]:34877) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jilIA-0006Ip-Kp; Tue, 09 Jun 2020 16:56:19 -0400 Received: by mail-qt1-x834.google.com with SMTP id z1so99222qtn.2; Tue, 09 Jun 2020 13:56:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version:content-transfer-encoding; bh=v1oH1igg3LUJQFVcUpuRgep0z2SoB6AeT3MoMkEkMFc=; b=KxKkaa1Gi9ADzV7NSZuVcJW+843mIf03Komu4c/9hJjnxJBqjCN6qEj3zIXHaQ6xeX Q0JyERgAtIFYAdBPLkiZFf+ZIWv9ETU77bwmrfunT5QtTlmp2D1Z1vyijLCV9uIRoT+W hGpHje2iKjmNwf93OOmwveHSyIj3zxLvP0lR+vm01L55Og/jh+OB1FR0kru6GQFT4YQu Kl1r7c5ZF1A2dhrQPRH94DoGWRXozrTsvggVHuujE6iexzukuOkQX80neeImGCL2ohg8 ppSazWebW9ZEYMq7XLPlub+OUhXo4Kh5AMZv+VJoIH+dBC4iLvcC/uuP8XsbbwgpDIXO nkrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version:content-transfer-encoding; bh=v1oH1igg3LUJQFVcUpuRgep0z2SoB6AeT3MoMkEkMFc=; b=RHjBaIzpofW6MYn3ax9yJ2kAA8GbkSWqky9r+m6Rpe5P6fWqO0YilFWwaYeJVUtRwN dF12xv8Dzt+N2umIg6AfnaQJH+SYov4HnOtvvpKzk+bqXuyXEz+8bvWoG4WnxjrVCg4d 4ySTMkZn5oePqkKDmBWK9wenFAnHqOnUBOcYhWBXuGnkmuc8Maba87IFNLSKAJSpKLeG sxc/arv4MywSMYRS01Vh2UrmpgHVpC1ki/YLqYGyNvnZjBBdRK735wlZ2PtCuepGH/34 PqaWOr7eezTel+mU3mZ0TY2g1Mo3dQ8fU0K/SfZsxg2iW2o8yOt0/+X2Z0fWhKsfnBuX VE6Q== X-Gm-Message-State: AOAM531H6BvjdYu3U06cjdnp9Vpi6PFHbMnqzW+W+z3PKgvlbM2YTsYV qwrjZPlN/a96oXYCkQZnbXk= X-Google-Smtp-Source: ABdhPJxFqygkanv4XccU/In+UE7XTthFpAsGmsfIYZ0Us1j4nhBnZRMI7VS0OOevYwDUpZ+Ma+MgUQ== X-Received: by 2002:ac8:6d1b:: with SMTP id o27mr31344955qtt.102.1591736176778; Tue, 09 Jun 2020 13:56:16 -0700 (PDT) Received: from g1 (c-73-167-118-254.hsd1.ma.comcast.net. [73.167.118.254]) by smtp.gmail.com with ESMTPSA id h64sm10388217qkf.46.2020.06.09.13.56.15 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 09 Jun 2020 13:56:16 -0700 (PDT) References: User-agent: mu4e 1.2.0; emacs 26.3 From: George Clemmer To: guix-devel@gnu.org Subject: Re: Manual consistency In-reply-to: Date: Tue, 09 Jun 2020 16:56:24 -0400 Message-ID: <85h7vkc613.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::834; envelope-from=myglc2@gmail.com; helo=mail-qt1-x834.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: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 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_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001 autolearn=_AUTOLEARN 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: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=KxKkaa1G; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: 0.09 X-TUID: J9RyBHdeuK7L zimoun writes: > (from: http://issues.guix.gnu.org/issue/41253#10) > > On Fri, 5 Jun 2020 at 18:36, Ludovic Court=C3=A8s wrote: > >> > There are many examples in guix.texi with $, and also many without. Pl= us >> > some with # as the command line prompt. >> I=E2=80=99ve come to the conclusion that snippets that contain only inpu= t should >> be written without a prompt, for easier copy/pasting. > I propose to do a pass on that: > - apply this rule: no-$ for only input and $ to distinguish between > inputs and outputs. +1. For examples w/ outputs, how about also removing the $ and commenting the outputs with '# ', or '# > '? HTH - George