Hi,
good to know that Tobias! I remember I did have to do stuff with the
locales some time ago, so perhaps that is how I started messing around
with stuff. Another part is trying to modularize profiles and making
their programs available on the PATH. Also there was something about
using Guix insta
Hi Zelphir, Christophe,
Zelphir Kaltstahl 写道：
Some time ago I created this:
https://notabug.org/ZelphirKaltstahl/guix-package-manager-tutorials/src/33f519f2517685106b7133a7da94cad84d3b/dot-profile-file.org
Thanks for sharing!
Not directly related, but I just want to point out that you
sh
Hello Christophe!
Some time ago I created this:
https://notabug.org/ZelphirKaltstahl/guix-package-manager-tutorials/src/33f519f2517685106b7133a7da94cad84d3b/dot-profile-file.org
I see, that I also included some individual stuff in there, which you
might not need, but perhaps it can be of use.
Le dimanche 03 janvier 2021 à 21:49 +0100, Tobias Geerinckx-Rice a
écrit :
> Hi Christophe,
>
> Christophe Pisteur 写道：
> > 1) after guix pull, I get the following message:
> >
> > export PATH="$HOME/.config/guix/current/bin:$PATH"
> > export
> > INFOPATH="$HOME/.config/guix/current/share/info:$I
Hi Christophe,
Christophe Pisteur 写道：
1) after guix pull, I get the following message:
export PATH="$HOME/.config/guix/current/bin:$PATH"
export
INFOPATH="$HOME/.config/guix/current/share/info:$INFOPATH"
I don't quite understand what to type in the terminal.
Exactly these two lines as prin
Hello,
sorry for the newbie question.
1) after guix pull, I get the following message:
export PATH="$HOME/.config/guix/current/bin:$PATH"
export INFOPATH="$HOME/.config/guix/current/share/info:$INFOPATH"
I don't quite understand what to type in the terminal. Should I replace
$HOME or HOME with
