diff options
| -rw-r--r-- | guides/sysadmin/apps.org | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/guides/sysadmin/apps.org b/guides/sysadmin/apps.org index ea0a29e..c1dc5c8 100644 --- 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 |