Hi,
On Mon, Jul 18, 2022 at 11:56 AM Ricardo Wurmus wrote:
> etc/profile sets variables differently dependent on whether
> $GUIX_PROFILE is set or not. This appears to be the problem here,
> because you say that “which” returns a location in /gnu/store (instead
> of ~/.guix-profile).
>
> If you
András Vöröskői writes:
> Hi,
>
> I have done something like this:
> 1. I have zig@0.10 installed in my profile.
> 2. Started a guix shell -m guix.scm which has zig@0.9
> 3. Run zig version and it reported 0.10.0
> 4. guix remove zig@0.10
> 5. zig version still reports 0.10.0
>
> At that point
András Vöröskői writes:
> I do not use bash. My fish config.fish has the following relevant lines:
> set GUIX_PROFILE $HOME/.config/guix/current; fenv source
> $GUIX_PROFILE/etc/profile
> set GUIX_PROFILE $HOME/.guix-profile; fenv source $GUIX_PROFILE/etc/profile
>
> fenv is just a wrapper, so
Hi,
What does your ~/.bashrc look like?
> What does “guix shell --check” say?
>
I do not use bash. My fish config.fish has the following relevant lines:
set GUIX_PROFILE $HOME/.config/guix/current; fenv source
$GUIX_PROFILE/etc/profile
set GUIX_PROFILE $HOME/.guix-profile; fenv source $GUIX_PROF
Hi András,
> I have done something like this:
> 1. I have zig@0.10 installed in my profile.
> 2. Started a guix shell -m guix.scm which has zig@0.9
> 3. Run zig version and it reported 0.10.0
What does your ~/.bashrc look like?
What does “guix shell --check” say?
> However when I run `which zi
Hi,
I have done something like this:
1. I have zig@0.10 installed in my profile.
2. Started a guix shell -m guix.scm which has zig@0.9
3. Run zig version and it reported 0.10.0
4. guix remove zig@0.10
5. zig version still reports 0.10.0
At that point I have switched to panic mode, exited from eve
