summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPierre Neidhardt <mail@ambrevar.xyz>2019-10-30 09:33:53 +0100
committerPierre Neidhardt <mail@ambrevar.xyz>2019-10-30 09:33:53 +0100
commitcb7b501deb7c99a14cba5865dfcca4adc3437439 (patch)
tree2c09d242a5cd49f033cc990fe2a82e6e5034328d /doc
parent6d8e6f19400bd03fa96a81609e04c3fee53e4757 (diff)
downloadpatches-cb7b501deb7c99a14cba5865dfcca4adc3437439.tar
patches-cb7b501deb7c99a14cba5865dfcca4adc3437439.tar.gz
doc: Explain how to switch profile from empty shell in "Profiles in Practice".
* doc/guix-cookbook.texi (Profiles in Practice): Add example.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix-cookbook.texi8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/guix-cookbook.texi b/doc/guix-cookbook.texi
index 4e60862d22..869b9666df 100644
--- a/doc/guix-cookbook.texi
+++ b/doc/guix-cookbook.texi
@@ -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