[bug#35004] [PATCH] DRY manual reference to HOME/.guix-profile

[josh . randall]

From: "Joshua C. Randall" <address@hidden>

---
 doc/guix.de.texi | 2 +-
 doc/guix.fr.texi | 2 +-
 doc/guix.texi    | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.de.texi b/doc/guix.de.texi
index 83dae0d3ec..faa9880fe6 100644
--- a/doc/guix.de.texi
+++ b/doc/guix.de.texi
@@ -2775,7 +2775,7 @@ definiert werden:
 
 @example
 GUIX_PROFILE="$HOME/.guix-profile" ; \
-source "$HOME/.guix-profile/etc/profile"
+source "$GUIX_PROFILE/etc/profile"
 @end example
 
 Ist Ihr System für mehrere Nutzer eingerichtet, werden Nutzerprofile an
diff --git a/doc/guix.fr.texi b/doc/guix.fr.texi
index 541fd6f0d0..407dd02375 100644
--- a/doc/guix.fr.texi
+++ b/doc/guix.fr.texi
@@ -2714,7 +2714,7 @@ ensuite aient les bonnes définitions des variables 
d'environnement :
 
 @example
 GUIX_PROFILE="$HOME/.guix-profile" ; \
-source "$HOME/.guix-profile/etc/profile"
+source "$GUIX_PROFILE/etc/profile"
 @end example
 
 Dans un environnement multi-utilisateur, les profils utilisateurs sont
diff --git a/doc/guix.texi b/doc/guix.texi
index 7d80c00530..c4675a5b95 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -2650,7 +2650,7 @@ shells get all the right environment variable definitions:
 
 @example
 GUIX_PROFILE="$HOME/.guix-profile" ; \
-source "$HOME/.guix-profile/etc/profile"
+source "$GUIX_PROFILE/etc/profile"
 @end example
 
 In a multi-user setup, user profiles are stored in a place registered as
-- 
2.19.2


-- 
This email is sent on behalf of Genomics plc, a public limited company 
registered in England and Wales with registered number 8839972, VAT 
registered number 189 2635 65 and registered office at King Charles House, 
Park End Street, Oxford, OX1 1JD, United Kingdom.



The contents of this 
e-mail and any attachments are confidential
 to the intended recipient. If 
you are not the intended recipient please
 do not use or publish its 
contents, contact Genomics plc immediately at address@hidden 
<mailto:address@hidden> then delete. You may not copy, 
forward, use 
or disclose the contents of this email to anybody else if 
you are not the 
intended recipient. Emails are not secure and may contain viruses.