How to fix the deletion of ~/.guix-profile on Ubuntu 22.04.4 LTS?

How to fix the deletion of ~/.guix-profile on Ubuntu 22.04.4 LTS?

[Rodrigo Morales]

I'm running guix on Ubuntu 22.04.4 LTS.

I removed the directory ~/.guix-profile using =rm -rf
~/.guix-profile=, just to see what happens. I tried fixing this
problem by reinstalling =guix= (i.e. I ran =sudo apt purge guix=, I
then ran =sudo apt install guix=). Afterwards, I then executed =guix
pull=, but =guix --version= kept showing v1.3.0, so when I try to run
=guix home=, I get the error =guix: home: command not found=.

For the record, I had initially installed guix by executing =sudo apt
install guix=. Upon installation, I noticed that the version reported
by =guix --version= was =1.3.0=, so I executed =guix pull=. Upon
finishing, =guix --version= showed a git commit hash as the version
number (I guess this hash corresponds to the latest commit in the guix
repository.)

My question is: How to make =guix pull= update the version reported by
=guix --version=?

Re: How to fix the deletion of ~/.guix-profile on Ubuntu 22.04.4 LTS?

[pelzflorian (Florian Pelz)]

Hello Rodrigo,

in general, to be on the safe side, after `guix pull`, you can open a
new shell/terminal so the new guix actually gets used.  This probably is
no longer necessary or at least `guix pull` tells you to run `hash
guix`, but I believe it is what has happened here.

Regards,
Florian