diff options
| author |  Ciaran McCreesh <ciaran.mccreesh@googlemail.com>
| 2009-10-31 19:28:19 +0000 |
|---|---|---|
| committer | Ciaran McCreesh <ciaran.mccreesh@googlemail.com>
| 2009-10-31 19:32:29 +0000 |
| commit | be3c267f66415a5b1f1e8ab388a7066508c38268 (patch) | |
| tree | 1293da3f3017d0c34a8eb2e71616441dead32a93 | |
| parent | 99ef1f17292200b18e7b9933aed0e689ebded765 (diff) | |
| download | paludis-be3c267f66415a5b1f1e8ab388a7066508c38268.tar.gz paludis-be3c267f66415a5b1f1e8ab388a7066508c38268.tar.xz | |
Grab INFOPATH from /etc/profile.env
Fixes: ticket:767
| -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 |