Debian specific system-wide setup --------------------------------- TeXmacs presents two layers: the user layer, TEXMACS_HOME_PATH, and the system-wide layer, TEXMACS_PATH. As expected, Debian install the latter under /usr, that is to say that TEXMACS_PATH is set to "/usr/share/texmacs" by default. However, for allowing superusers to install system-wide TeXmacs material without interfering with the TeXmacs material installed by Debian, Debian introduces a local, intermediate system-wide layer under /usr/local, TEXMACS_LOCAL_PATH. As expected, TEXMACS_LOCAL_PATH is set by default to "/usr/local/share/texmacs". Though TEXMACS_HOME_PATH is assumed to be set to "${HOME}/.TeXmacs", users are free to set it as they wish. The order of priority is TEXMACS_HOME_PATH Sat, 07 Sep 2024 17:41:17 +0000