More important (real error): the option `--profile` seems to need a `=` after it, so the fifth line (`guix pull --channels=channel-specs.scm --profile "$GUIX_EXTRA/my-project/guix"`) gives problems without.
It works normally with the correction: `guix pull --channels=channel-specs.scm --profile="$GUIX_EXTRA/my-project/guix"`

Cheers!
Luca

De: "Luca Cirrottola" <luca.cirrottola@inria.fr>
À: "bug-guix" <bug-guix@gnu.org>
Envoyé: Lundi 21 Novembre 2022 18:34:54
Objet: [doc] More foolproof command in https://guix.gnu.org/cookbook/en/html_node/Reproducible-profiles.html

Hello guixers,
For an even more foolproof experience when trying https://guix.gnu.org/cookbook/en/html_node/Reproducible-profiles.html (which already goes very smoothly), the command
`mkdir "$GUIX_EXTRA"/my-project` (fourth line) could add the option `-p` (i.e. `mkdir -p "$GUIX_EXTRA"/my-project`).

Keep hacking!

Luca

--
Luca CIRROTTOLA
Research software engineer @INRIA center of the university of Bordeaux
Personal webpage: https://lcirrottola.github.io/
Tel: +33 5 24 57 41 21
200 Avenue de la Vieille Tour
33405 Talence cedex
France

Luca CIRROTTOLA
Research software engineer @INRIA center of the university of Bordeaux

Personal webpage: https://lcirrottola.github.io/
Tel: +33 5 24 57 41 21

200 Avenue de la Vieille Tour
33405 Talence cedex
France