From 95f92d4e2c521196eb0f341ef7ae55b33dc1552e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Wed, 5 Nov 2014 22:56:10 +0100 Subject: [PATCH] system: Define 'INFOPATH' in /etc/profile. * gnu/system.scm (etc-directory)[bashrc]: Set 'INFOPATH'. --- gnu/system.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/system.scm b/gnu/system.scm index 0443e5f756..4140272a3c 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -369,6 +369,7 @@ export PATH=$HOME/.guix-profile/bin:/run/current-system/profile/bin export PATH=/run/setuid-programs:/run/current-system/profile/sbin:$PATH export CPATH=$HOME/.guix-profile/include:" profile "/include export LIBRARY_PATH=$HOME/.guix-profile/lib:" profile "/lib +export INFOPATH=$HOME/.guix-profile/share/info:/run/current-system/profile/share/info alias ls='ls -p --color' alias ll='ls -l' "))