From: Andreas Gerler <baron@bundesbrandschatzamt.de>
Date: Wed, 4 Feb 2026 16:59:40 +0000 (+0100)
Subject: fix infopath
X-Git-Url: http://git.bundesbrandschatzamt.de/?a=commitdiff_plain;h=4d613af55db94ee981aa32b163b5a20cefe8a652;p=emacsconfig.git

fix infopath

* bba.org: Adjust Info-directory-list according to INFOPATH env
---

diff --git a/bba.org b/bba.org
index f9cbd0c6..efb1ff63 100644
--- a/bba.org
+++ b/bba.org
@@ -173,7 +173,9 @@ from bash.
               (setenv "https_proxy" path)
               )
             (let ((infopath (shell-command-to-string ". ~/.bashrc 2>/dev/null >/dev/null; echo -n $INFOPATH")))
-              (setenv "INFOPATH" infopath))
+              (setenv "INFOPATH" infopath)
+              (setq Info-directory-list
+                    (append (mapcar #'expand-file-name (split-string-and-unquote infopath ":")) Info-directory-list)))
             (let ((manpath (shell-command-to-string ". ~/.bashrc 2>/dev/null >/dev/null; manpath")))
               (setenv "MANPATH" manpath))
             (push "/opt/local/share/info" Info-directory-list)))