Hi Ludo,
Ludovic Courtès writes:
> I fixed this in 21b3c0ca8789c22b9b689faa01286b18f103b92e.
> Making progress!
What a simple fix! Thank you.
--
Chris
signature.asc
Description: PGP signature
Ludovic Courtès writes:
> That said, I understand your concern. What about changing the message
> to:
>
> You might need to run:
>
> . …/etc/profile
>
> Alternately, you can define the following environment variables:
>
> …
>
> Too verbose? Confusing?
Personally I like what
Hi,
I just wanted to add that I use an interactive shell with a different syntax
(fish),
so I cannot just source a bsh script from my shell rc (AFAIK). To that extent having Guix print the exact variables I should be setting is actually
quite useful.
Best,
Dan
On 04-03-19 22:56, Ludovic
Ludovic Courtès writes:
> When (re)sourcing etc/profile, you might clutter some variables. For
> instance, if you do that several times, you can end up with:
>
>
> PATH=$HOME/.guix-profile/bin:$HOME/.guix-profile/bin:$HOME/.guix-profile/bin:…
>
> Conversely, the hint upon installation
Hello,
Ricardo Wurmus skribis:
> when installing a package into a profile Guix very helpfully tells you
> that you may need to set certain environment variables. It doesn’t tell
> you that these environment variables can also be set by source’ing the
> generated etc/profile file.
>
> I have
Andreas Enge writes:
> Hello,
>
> On Tue, Feb 19, 2019 at 08:41:47AM +0100, Ricardo Wurmus wrote:
>> This only needs to be done when GUIX_PROFILE is not set. The
>> definitions in etc/profile either reference /gnu/store directories
>> directly (when GUIX_PROFILE is not set) or they reference
On Tue, Feb 19, 2019 at 10:34:05AM +0100, Ricardo Wurmus wrote:
>
> Pjotr Prins writes:
>
> > Just running '. $PROFILE/etc/profile' is a bit dangerous. Especially on
> > HPC machines.
> >
> > I guix-notes I also suggest to clear the other environment settings
> > first with
> >
> > env -i
Pjotr Prins writes:
> Just running '. $PROFILE/etc/profile' is a bit dangerous. Especially on
> HPC machines.
>
> I guix-notes I also suggest to clear the other environment settings
> first with
>
> env -i /bin/bash --login --noprofile --norc
You can do this all in one go by passing
On Mon, Feb 18, 2019 at 11:18:09PM +0100, Andreas Enge wrote:
> So the two are clearly not equivalent. Which of them is actually
> preferable? I find it a bit confusing that after running
> "guix package -i hello" I cannot run "hello" immediately, unlike in
> Debian.
Just running '.
Hello,
On Tue, Feb 19, 2019 at 08:41:47AM +0100, Ricardo Wurmus wrote:
> This only needs to be done when GUIX_PROFILE is not set. The
> definitions in etc/profile either reference /gnu/store directories
> directly (when GUIX_PROFILE is not set) or they reference the profile
> links (when
Hi Andreas,
> On Mon, Feb 18, 2019 at 10:56:13PM +0100, Ricardo Wurmus wrote:
>> when installing a package into a profile Guix very helpfully tells you
>> that you may need to set certain environment variables. It doesn’t tell
>> you that these environment variables can also be set by
Hello,
On Mon, Feb 18, 2019 at 10:56:13PM +0100, Ricardo Wurmus wrote:
> when installing a package into a profile Guix very helpfully tells you
> that you may need to set certain environment variables. It doesn’t tell
> you that these environment variables can also be set by source’ing the
>
Agreed.
For users using other shells, the issue is not knew.
The main recommendation I've seen (e.g. for Fish) is that the user kept a
POSIX-style shell as a login shell and only drop into the desired shell after
the profile has been loaded. This way, Guix and similar configurations
Ricardo Wurmus writes:
> Hi Guix,
>
> when installing a package into a profile Guix very helpfully tells you
> that you may need to set certain environment variables. It doesn’t tell
> you that these environment variables can also be set by source’ing the
> generated etc/profile file.
>
> I
14 matches
Mail list logo
