diff options
| author | Prafulla Giri <pratheblackdiamond@gmail.com> | 2020-01-21 12:25:24 +0545 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-26 23:21:39 +0100 |
| commit | 5c03516a6bc6bff69b99ec8d29a87603685f7041 (patch) | |
| tree | a03ca7f641fb81f28a51012e2dae46dccb8dbe4e /.dir-locals.el | |
| parent | 98dd9ff8006bde715cd25dbd75caceee28b2aa5d (diff) | |
| download | guix-5c03516a6bc6bff69b99ec8d29a87603685f7041.tar guix-5c03516a6bc6bff69b99ec8d29a87603685f7041.tar.gz | |
guix-install.sh: Export INFOPATH to contain updated guix info-pages
* etc/guix-install.sh (sys_create_init_profile): Export INFOPATH to include
the updated info-pages from ~/.config/guix/current/share/info. This also makes
sure that both /usr/bin/info and $GUIX_PROFILE/bin/info can read guix info pages
without throwing "no menu item 'guix' in node dir(Top)" error.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions