From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 28 07:46:07 2017 Received: (at 27386) by debbugs.gnu.org; 28 Jun 2017 11:46:07 +0000 Received: from localhost ([127.0.0.1]:41743 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dQBQ6-0006gw-RI for submit@debbugs.gnu.org; Wed, 28 Jun 2017 07:46:07 -0400 Received: from aibo.runbox.com ([91.220.196.211]:52784) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dQBQ4-0006dS-Gb for 27386@debbugs.gnu.org; Wed, 28 Jun 2017 07:46:05 -0400 Received: from [10.9.9.212] (helo=mailfront12.runbox.com) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1dQBQ2-0004lp-O9; Wed, 28 Jun 2017 13:46:02 +0200 Received: from [179.43.146.230] (helo=localhost) by mailfront12.runbox.com with esmtpsa (uid:892961 ) (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1dQBPa-0003Tk-So; Wed, 28 Jun 2017 13:45:35 +0200 Date: Wed, 28 Jun 2017 11:45:30 +0000 From: ng0 To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#27386: offloading documentation and env Message-ID: <20170628114530.ca43xv4guqoa4mtv@abyayala> Mail-Followup-To: Ludovic =?utf-8?Q?Court=C3=A8s?= , 27386@debbugs.gnu.org References: <20170615211132.clkaslffc4a3l5bw@abyayala> <20170615221902.5ubbhriynb7wozrz@abyayala> <20170615223456.z5w2oaxifbah2ak2@abyayala> <87podq7cae.fsf@gnu.org> <20170626211511.ox5smekycmqz2vc3@abyayala> <87injh5z3h.fsf@gnu.org> <20170627145418.iq54zrhfzbr7vdtn@abyayala> <87d19p43wg.fsf@gnu.org> <20170627203136.rvl4dr6d3byzjein@abyayala> <8737ak1pji.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="tdyy4yiwqc2po4jh" Content-Disposition: inline In-Reply-To: <8737ak1pji.fsf@gnu.org> X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 27386 Cc: 27386@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: -0.7 (/) --tdyy4yiwqc2po4jh Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s transcribed 1.8K bytes: > ng0 skribis: >=20 > > Ludovic Court=C3=A8s transcribed 2.2K bytes: > >> ng0 skribis: > >>=20 > >> > Ludovic Court=C3=A8s transcribed 2.8K bytes: >=20 > [...] >=20 > >> The problem here is that > >> /run/current-system/profile/share/guile/site/2.2, which is where the > >> Guix modules are on GuixSD as I wrote above, is missing from the search > >> path. > >>=20 > >> The session started when you run =E2=80=9Cssh shadownet env=E2=80=9D d= oes not spawn a > >> login shell; thus ~/.profile and similar are *not* sourced. I=E2=80= =99m using > > > > I was aware of this, but I thought we had (guix) available nevertheless > > and I was just pushing the wrong buttons. > > > >> Bash, so on my accounts, I have this in .bashrc (=E2=80=98.bashrc=E2= =80=99 is for > >> non-login shells): > >>=20 > >> --8<---------------cut here---------------start------------->8--- > >> if [ -n "$SSH_CLIENT" -a -z "`type -P cat`" ] > >> then > >> # We are being invoked from a non-interactive SSH session > >> # (as in "ssh host command") but 'cat' cannot be found > >> # in $PATH. Source /etc/profile so we get $PATH and other > >> # essential variables. > >> source /etc/profile > >> fi > >> --8<---------------cut here---------------end--------------->8--- > >>=20 > >> That way, =E2=80=9Cssh HOST COMMAND=E2=80=9D effectively gets the same= environment as a > >> login shell. > > > > I use the same on this computer, but at the end of it I source some > > files, among them ~/.guix-profile/etc/profile > > > > I would guess that sourcing ~/.guix-profile/etc/profile gets into > > the way and that moving this to .bash_profile could fix the issue. > > > > What do you think? >=20 > ~/.guix-profile/etc/profile won't add /run/current-system/=E2=80=A6 to the > search path. You really need to source /etc/profile, which in turn will > source ~/.guix-profile/etc/profile (on GuixSD). >=20 > HTH, > Ludo=E2=80=99. I think the method as described never really worked. When I do as you (and the manual) suggested, I no longer have any results for ssh host env | grep "GUILE_". When I extend it like this it works. I include the full paste to show that previously I had the sourcing of /etc/profile in it: user@shadownet ~$ cat .bashrc # Bash initialization for interactive non-login shells and # for remote shells (info "(bash) Bash Startup Files"). # Export 'SHELL' to child processes. Programs such as 'screen' # honor it and otherwise use /bin/sh. export SHELL if [ -n "$SSH_CLIENT" -a -z "`type -P cat`" ] then # We are being invoked from a non-interactive SSH session # (as in "ssh host command") but 'cat' cannot be found # in $PATH. Source /etc/profile so we get $PATH and other # essential variables. source /etc/profile fi # Adjust the prompt depending on whether we're in 'guix environment'. if [ -n "$GUIX_ENVIRONMENT" ] then PS1=3D'\u@\h \w [env]\$ ' else PS1=3D'\u@\h \w\$ ' fi source ~/.guix-profile/etc/profile alias ls=3D'ls -p --color' alias ll=3D'ls -l' GUILE_LOAD_COMPILED_PATH=3D"${GUILE_LOAD_COMPILED_PATH}:/run/current-system= /profile/lib/guile/2.2/site-ccache:/run/current-system/profile/share/guile/= site/2.2" GUILE_LOAD_PATH=3D"${GUILE_LOAD_PATH}:/run/current-system/profile/share/gui= le/site/2.2" I suggest that we fix the offloading documentation. If questions are asked (I'm not the first) there are obviously problems with how it is written. If no one else takes on this, I will. --=20 ng0 GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588 GnuPG: https://n0is.noblogs.org/my-keys infotropique: https://www.infotropique.org --tdyy4yiwqc2po4jh Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEqIyK3RKYKNfqwC5S4i+bv+40hYgFAllTltoACgkQ4i+bv+40 hYi8ng//Sp8/kXfayBkZJE5TtJG47ThuqA+ndeuk049qTk/glo3ntIcCdqU4ONpc MckOdzR/0QAkppk2jMloOJvvIhysx/5TsniyDwFIaWonOQKxuAQe0J/tdGqbVXCM n+M4+SsOVqYIpG+/hHBGokNEReOjmnMGhFPDlME0l2w14lv7nN5HlQXHH5QAvBcz ++BQ+tMCYrez8MGftdGJYA5BH8XfkJnMoGkvtKxnI3YOnQgapg7mq31sSkAEqA7S 35X7Ed41rnVeVC6RF4B8XNN1mOYB5Rw2oOLcC3yh3dgh+iP+SD3wGet71WoRDnq0 Is7UACjg8unHinXxuxHaQ6IiRfRyTjEvTrPzW2De6IG4oURqs+fo9udH6wv/Hnt4 eTEzWey5uI+n5rhFGTfv3T+akfuC2C1cRx3p/hXlggJ5Mp6nD3273ND+DH5RVP4c 99OY6UKJdvLPcOqOH/jkNB9n1Sas+dA3M2DDaLlJZW6xkYrlSPUdDjbG3x9+3s++ sLDCdMDI7TyRbnQKkC7a0Vpc4APTSBRA7vM9cAS1hC/2cqhboNa8Bxp9WYHI7aXK jalLaIryzS4l4eziLfLbpHKVc6OSWqgxXD3GC8pu3J78+sSwQ+y+17jPQrsOo5dr 0a2oxXVhEey4L/YofufjG7NDt+5tZfNTm+eD7xhk0p0Tkrsz95c= =7iiB -----END PGP SIGNATURE----- --tdyy4yiwqc2po4jh--