diff options
author | 2009-10-31 19:28:19 +0000 | |
---|---|---|
committer | 2009-10-31 19:28:19 +0000 | |
commit | 4278544d6985064a4b1d4b07abde43053290bde3 (patch) | |
tree | 550e0c2da5bca4a1d10404239725b3a267940767 /hooks | |
parent | 1707e92e1b5cc1cc1d9fbf3da3e8ab25ad8fce40 (diff) | |
download | paludis-4278544d6985064a4b1d4b07abde43053290bde3.tar.gz paludis-4278544d6985064a4b1d4b07abde43053290bde3.tar.xz |
Grab INFOPATH from /etc/profile.env
Fixes: ticket:767
Diffstat (limited to 'hooks')
-rwxr-xr-x | hooks/gnu_info_index.bash | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hooks/gnu_info_index.bash b/hooks/gnu_info_index.bash index 4b96e5900..ce9337438 100755 --- a/hooks/gnu_info_index.bash +++ b/hooks/gnu_info_index.bash @@ -27,6 +27,9 @@ fi echo einfo_unhooked "Checking whether the GNU info directory needs updating..." +# ticket:767 +export INFOPATH=$(source /etc/profile.env 2>/dev/null ; echo $INFOPATH ) + regen_info_dirs= vdb_loc=$(${PALUDIS_COMMAND} --configuration-variable installed location ) for info_path in ${INFOPATH//:/ } ; do |