b r i c o m i c r o

$ w get https://ftpmirror.gnu.org/gnu/guix/guix-system-install-1.4.0.x86_64-linux.iso

$  w get https://ftpmirror.gnu.org/gnu/guix/guix-system-install-1.4.0.x86_64-linux.iso.sig

$  w get https://sv.gnu.org/people/viewgpg.php?user_id=15145
      -qO - | gpg --import -

$ gpg --verify guix-system-install-1.4.0.x86_64-linux.iso.sig

# dd if=guix-system-install-1.4.0.x86_64-linux.iso of=/dev/sdX status=progress

# sync

Redémarrer le T400 sur la clé USB.

Et ça marche 😊

$ guix pull

$ cat .bash_profile

GUIX_PROFILE="$HOME/.config/guix/current"

. "$GUIX_PROFILE/etc/profile"

$ hash guix

$ guix upgrade

Et ça marche 😊