commit 24ee1c3335907198d4855bb48bc752d135cd823b
parent 59d093a969750e26f98951043688130dcebc9b55
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Mon, 15 Dec 2025 18:50:16 +0100
Clarify comment about info search paths
Diffstat:
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/guides/sysadmin/apps.org b/guides/sysadmin/apps.org
@@ -99,16 +99,19 @@ Similar to ~man~, ~info~ knows to work with =PATH=. The priority
Any of these can contain the =PATH= literal, which means "iterate over
=${PATH}= and add nearby =share/info= & =info= directories". By
-default, =DEFAULT_INFOPATH= contains =PATH= 🥳 but =INFODIR= has
-priority and is set to something boring like =/usr/share/info= 😒
+default,
+
+- =DEFAULT_INFOPATH= contains =PATH= 🥳
+- *but* =INFODIR= has priority and is set to something boring like
+ =/usr/share/info= 😒
Solution:
#+begin_src bash
cat <<EOF > ~/.infokey
#var
-# Disable INFODIR; fall back to DEFAULT_INFOPATH which prioritizes
-# program PATH over /usr/share/info.
+# Disable INFODIR: fall back to DEFAULT_INFOPATH, which contains
+# 'PATH', prioritizing program PATH over /usr/share/info.
infopath-no-defaults=On
EOF
#+end_src