Hello Christophe! Some time ago I created this: https://notabug.org/ZelphirKaltstahl/guix-package-manager-tutorials/src/33f519f2517685106b71399993a7da94cad84d3b/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. Regards, Zelphir On 1/4/21 6:00 PM, [email protected] wrote: > 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 the path of my directory, for example: > > export PATH="/home/christophe/.config/guix/current/bin:$PATH" > and then: > export > INFOPATH="/home/christophe/.config/guix/current/share/info:$INFOPATH" > > 2) similar question with this message: > > GUIX_PROFILE="/home/christophe/.guix-profile" > . "$GUIX_PROFILE/etc/profile" > > Is this two actions (two step in the terminal, the first line and > "enter" then the second line and "enter")? > And does the second line really begin with a dot? > > In both questions (1 et 2), I have tried several options but the > terminal does not return any message (neither error nor success > message) > > Again, sorry for the newbie question. > > > PS: I use guix system with the installer 1.2.
