From debbugs-submit-bounces@debbugs.gnu.org Sat May 02 10:20:23 2020 Received: (at 40872) by debbugs.gnu.org; 2 May 2020 14:20:23 +0000 Received: from localhost ([127.0.0.1]:53579 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jUt0A-0000D5-TH for submit@debbugs.gnu.org; Sat, 02 May 2020 10:20:23 -0400 Received: from wout2-smtp.messagingengine.com ([64.147.123.25]:39503) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jUt09-0000Co-Ha for 40872@debbugs.gnu.org; Sat, 02 May 2020 10:20:22 -0400 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.west.internal (Postfix) with ESMTP id D6C444C4; Sat, 2 May 2020 10:20:15 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute4.internal (MEProxy); Sat, 02 May 2020 10:20:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.com; h= from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-type; s=fm2; bh=iHS9kdjSLDJdVn0dpTaFskbUtM r4cVjK0Z6e362glO8=; b=B+6ByQXWm3pxPJQgfiSIdq+W8hlZoLo8l4ZfeIa0sK H6c26MxKhRYOKyiktkqimQwDkgIMTg4pSdzDGd8vc9brdahnt6H4eLONZsYANC14 cgk1vKHS3fulnnZ1S1xxU/dSr4FNebonSkBTwzISPYkgRmSmLfgZOB2gBNjqruwy hMPakX90IrPOiO3+MaogPFg92x6SkwwxzFbjIHrrcK+IAsyS7ONHxd2vQZm+os+Z UFJqmpvPEBtPSg5Yf078zQccHkVhkaQ5smFXwmc3oadEcUlD5Zi6yNQQYGAUnVks 3lWvHvACz3Ks0QApZ6wgne/e5JnunIayBW/TW6oJb3CA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=iHS9kd jSLDJdVn0dpTaFskbUtMr4cVjK0Z6e362glO8=; b=mUnjlGQIFjOk51sHMNMnKB MuuDV5TF4JVwJlsLasGFnp/fcg4aonWI2595H7jAmri3nby6C+fffBDEWTKIP/0r 3kY5N9FUlpCD3VLWdAvt8YOKneHBogm+sh9gAwbhCeux6IhooPDTLlNjNmxrgO8L 6J8zvJPwqiFWK526+g23s2oKI0BRlG39LqP9Ovleut1+aXYXQdWrdcfgmXkhYOAX 0siYEClqc1PDkCd0LSV9XsTcm+I42QPIPV8X+s7kcHQS89jWzfx6NXbhlw3WZh6a ymR+JklsY+uJY5vPYSVg8WUJdw3Qu+pd7hwthnPIjaxSqQt8KovTU10uSN+uB2ig == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrieelgdejfecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephffvufgjfhgffffkgggtsehgtderre dtreejnecuhfhrohhmpeforghrihhushcuuegrkhhkvgcuoehmsggrkhhkvgesfhgrshht mhgrihhlrdgtohhmqeenucggtffrrghtthgvrhhnpeektdelffevvedtledvvedugeffie ffhfelgeehtedugedvgeeguedujefhjefhteenucfkphepkeegrddvtddvrdeikedrjeeh necuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomhepmhgsrg hkkhgvsehfrghsthhmrghilhdrtghomh X-ME-Proxy: Received: from localhost (ti0006q161-2604.bb.online.no [84.202.68.75]) by mail.messagingengine.com (Postfix) with ESMTPA id 1B7F33280064; Sat, 2 May 2020 10:20:13 -0400 (EDT) From: Marius Bakke To: Stefan Subject: Re: bug#40872: First installed package on guix system is not instantly usable In-Reply-To: References: <73CADE52-3A2F-433F-A2FD-491AC81C7A8A@vodafonemail.de> <87sggn613q.fsf@devup.no> User-Agent: Notmuch/0.29.3 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu) Date: Sat, 02 May 2020 16:20:12 +0200 Message-ID: <87pnbm2zc3.fsf@devup.no> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 40872 Cc: 40872@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Stefan writes: > Hi Marius! > >> This is odd, as /etc/profile contains a workaround for this exact >> problem (notice the else clause): >>=20 >> # Arrange so that ~/.config/guix/current comes first. >> for profile in "$HOME/.guix-profile" "$HOME/.config/guix/current" >> do >> if [ -f "$profile/etc/profile" ] >> then >> # Load the user profile's settings. >> GUIX_PROFILE=3D"$profile" ; \ >> . "$profile/etc/profile" >> else >> # At least define this one so that basic things just work >> # when the user installs their first package. >> export PATH=3D"$profile/bin:$PATH" >> fi >> done >>=20 >> Can you investigate why this is ineffective on your system? > > Previously I had some packages installed, but I rolled-back to generation= 0. I found this in my scroll-back buffer: > > stefan@guix ~/development/guix$ guix package --roll-back > Folgende Ableitung wird erstellt: > /gnu/store/l0n6l104ldj7nz6kdyi7l8v5yjnc9p9g-profile.drv > building profile with 0 packages... > Von Generation =E2=80=9E1=E2=80=9C zu =E2=80=9E0=E2=80=9C gewechselt > > By rolling back it created a new generation 0 profile which is now lying = around with this kind of empty file:=20 > > stefan@guix ~$ cat .guix-profile/etc/profile=20 > # Source this file to define all the relevant environment variables in Ba= sh > # for this profile. You may want to define the 'GUIX_PROFILE' environment > # variable to point to the "visible" name of the profile, like this: > # > # GUIX_PROFILE=3D/path/to/profile ; \ > # source /path/to/profile/etc/profile > # > # When GUIX_PROFILE is undefined, the various environment variables refer > # to this specific profile generation. > > So the test for the existence of this file does not fail, but it doesn't = change PATH either. This is the profile content, it has no bin/ folder to a= dd to PATH: I see. We could extend the test in /etc/profile to look for a /bin directory of the profile, but arguably rolling back to generation 0 is not a very common case. So I'm in favor of just keeping the status quo. WDYT? --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl6tgZwACgkQoqBt8qM6 VPrX2Qf7BEKyWX887qCmjkbSMAQQvI6IOQ3AjtJuktl5s/NankRw7j9duAvYWVBr njFoMYmBRZPX4leHEVs/EPBsd6/ozqylI1nhrtUuiq736aFCwTmfupOl2pVYYBcW MdXVZGa2IIyvXyafxmiiyRTR3RmCsDPR5bCZylr8tESBDOoSWg0OQm7mP9EUoqdK xrS+a7/quzJe9ZAIbBIT0FEzEWCc2ulaJ170uKhj/N86Bn0uLLLgUD0bfrV1bX3C rW4W/sD0Eh9gcfu/ndEMx1x2LOPyi/xJIXCdfchRfGEr6gyByh+i7UsabiBmgrKZ ie69a10sKKRN+OzuD1SoQwwdDZOdPA== =+fkq -----END PGP SIGNATURE----- --=-=-=--