From cb7b501deb7c99a14cba5865dfcca4adc3437439 Mon Sep 17 00:00:00 2001
From: Pierre Neidhardt <mail@ambrevar.xyz>
Date: Wed, 30 Oct 2019 09:33:53 +0100
Subject: doc: Explain how to switch profile from empty shell in "Profiles in
 Practice".

* doc/guix-cookbook.texi (Profiles in Practice): Add example.
---
 doc/guix-cookbook.texi | 8 ++++++++
 1 file changed, 8 insertions(+)

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
 
-- 
cgit v1.2.3