diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2025-12-15 18:50:16 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2025-12-15 18:50:16 +0100 |
| commit | 24ee1c3335907198d4855bb48bc752d135cd823b (patch) | |
| tree | 3b03a6702cc2e91ecabef777b96b692f73ecc616 | |
| parent | 59d093a969750e26f98951043688130dcebc9b55 (diff) | |
| download | memory-leaks-24ee1c3335907198d4855bb48bc752d135cd823b.tar.xz | |
| -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 |