doc: Explain how to switch profile from empty shell in "Profiles in Practice".

* doc/guix-cookbook.texi (Profiles in Practice): Add example.
This commit is contained in:
Pierre Neidhardt 2019-10-30 09:33:53 +01:00
parent 6d8e6f1940
commit cb7b501deb
No known key found for this signature in database
GPG Key ID: 9BDCF497A4BBCC7F

View File

@ -1774,6 +1774,14 @@ You can roll-back to any generation of a given profile:
guix package -p "$GUIX_EXTRA_PROFILES"/my-project/my-project --switch-generations=17
@end example
Finally, if you want to switch to a profile without inheriting from the
current environment, you can activate it from an empty shell:
@example
env -i $(which bash) --login --noprofile --norc
. my-project/etc/profile
@end example
@node Required packages
@subsection Required packages