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 ms0.migadu.com with LMTPS id eGQZN/vfd2HOIQEAgWs5BA (envelope-from ) for ; Tue, 26 Oct 2021 13:01:15 +0200 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 QOnQMvvfd2HUJAAA1q6Kng (envelope-from ) for ; Tue, 26 Oct 2021 11:01:15 +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 8510D3F2 for ; Tue, 26 Oct 2021 13:01:11 +0200 (CEST) Received: from localhost ([::1]:37166 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mfKCc-000407-IE for larch@yhetil.org; Tue, 26 Oct 2021 07:01:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56916) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mfK0s-0006EQ-EP for guix-patches@gnu.org; Tue, 26 Oct 2021 06:49:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33685) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mfK0s-0001DY-4k for guix-patches@gnu.org; Tue, 26 Oct 2021 06:49:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mfK0s-0000yJ-40 for guix-patches@gnu.org; Tue, 26 Oct 2021 06:49:02 -0400 Subject: bug#51285: [PATCH 0/3] Add 'guix shell --check' Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Tue, 26 Oct 2021 10:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 51285 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 51285-done@debbugs.gnu.org Mail-Followup-To: 51285@debbugs.gnu.org, ludo@gnu.org, ludo@gnu.org Received: via spool by 51285-done@debbugs.gnu.org id=D51285.16352453053684 (code D ref 51285); Tue, 26 Oct 2021 10:49:01 +0000 Received: (at 51285-done) by debbugs.gnu.org; 26 Oct 2021 10:48:25 +0000 Received: from localhost ([127.0.0.1]:45230 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mfK0H-0000xM-4N for submit@debbugs.gnu.org; Tue, 26 Oct 2021 06:48:25 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59476) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mfK0F-0000x7-T7 for 51285-done@debbugs.gnu.org; Tue, 26 Oct 2021 06:48:24 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:51156) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mfK0A-00019H-Jf for 51285-done@debbugs.gnu.org; Tue, 26 Oct 2021 06:48:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=21RNHZWCzwAiXP97l1tBv+NOXrSdE9sEOl11PiZiV0E=; b=hRrsvb37t5gECYTEDpTB wHKxrJ8bODvB1dn/q2+9+Dp+HMNPIxYTkV0SjtianYqK/JsV8TqwFfCxjwDn+qfArJf95Wmg8w9QW BJmFcxue/czAJbfXZlqwk8hS6aAGrcrbx0+/wGj/kUumxtObFjTAhT2l/PgnruJDaRWYKRhHVXJmv QxIjslHTg5ktoCvqBqew03RRscp70FCk+F0CDYk1j2r8SnCpTN/a2GB9f7SnuUjBqpwJBpTxYlX3J JjY0CNzY3mXHb/Tt905IicomqskLWcVhR/hWlLJ+AtXE/2nJ14DKjPtXqMKFIiBYU44LOLUaJIxHU Cbd0i9gFyfY3rw==; Received: from [193.50.110.110] (port=45598 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mfK0A-00034X-63 for 51285-done@debbugs.gnu.org; Tue, 26 Oct 2021 06:48:18 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20211019100351.9726-1-ludo@gnu.org> Date: Tue, 26 Oct 2021 12:48:16 +0200 In-Reply-To: <20211019100351.9726-1-ludo@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Tue, 19 Oct 2021 12:03:51 +0200") Message-ID: <87k0i0hxjj.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1635246071; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-to: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=21RNHZWCzwAiXP97l1tBv+NOXrSdE9sEOl11PiZiV0E=; b=rztTwmk1craGSvXDzq0mQXdjbyz2jMbxvEqbb65XvWH4uKV6+/Pr0LGDxr9GDsPWuLKmXv jTivQ5bzVcEYw33L3MIvBHT1xwCZsuSxvKBohbaOVhOkOAZF6UxpFfoFpLSdJsvqTGfw7Z 7lN9BfCfziyVRBXfBfzeP1Buntba4MMRO0d01qghCTJqcAU64A+XtflO7r6YLRGoL8ixyD JDqSeaucKhWVpn5UWhmpnGSuwXwd2ieXuFw0VexpAYQurDj84EA8e5i9dWi0ZKaDI/B3tm XJzJn9pQZsCzz1VKqVhYQaoqshtDdU/qyBY3EGxXmJi0zR2aqsQzKbhz5lS8zA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1635246071; a=rsa-sha256; cv=none; b=RImLS+8YMVGnO/Sv47X69Mr4A3k/pxR2yPZDiDIomdSg7XOBoPqBqklfW82NcH6ufE/sje lvvdx3b6V0BNZcZse/7pd0K5xXr5QnvAJtePMQVKby+e3/1GHm6JpSacx0TiQqsxZUEFHD QBxYCAmG+W7QG2BPwwriUzane3cEIyOZK2hB2iyTJdCvEn2ufOTjmRM53WOeKQ71SsaSi7 BJYaRd7kZKb8arICubbDM7zShwoEzO9/nUZz6ndwtRRbX5N+XPX+B1hnoW7IHgi9P1laaf tUdkNhaWCqpYW1/UHAYS7C8nqOl5Wapn3wo9wdBBj3oCiNAi0rmM4pL3vpO54w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=hRrsvb37; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -3.56 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=hRrsvb37; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 8510D3F2 X-Spam-Score: -3.56 X-Migadu-Scanner: scn0.migadu.com X-TUID: zXVQNUxQ7xhW Ludovic Court=C3=A8s skribis: > You may be familiar with the crucial footnote about shell startup files: > > https://guix.gnu.org/manual/en/html_node/Invoking-guix-environment.html= #FOOT11 > > In short, if your shell startup file mess up with environment variables, > =E2=80=98--pure=E2=80=99 won=E2=80=99t deliver its promise. That=E2=80= =99s a common source of annoyance. > > This patch set adds a =E2=80=98--check=E2=80=99 option to =E2=80=98guix s= hell=E2=80=99 (and =E2=80=98guix environment=E2=80=99 > as well, mostly out of simplicity). Here=E2=80=99s an example: Pushed as 409f538d651a7ba26a41f714915e6b7d59e0a82f! Ludo=E2=80=99.