diff mbox series

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

Message ID 20190326163129.32264-1-josh.randall@genomicsplc.com
State Accepted
Headers show
Series [bug#35004] DRY manual reference to HOME/.guix-profile | expand

Commit Message

josh.randall@genomicsplc.com March 26, 2019, 4:31 p.m. UTC 
From: "Joshua C. Randall" <jcrandall@alum.mit.edu>

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

Patch

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