1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
Description: upstream: enhance: cli: option: homepath
Introduce the option --homepath (or -hp) as companion
of the options --path (or -p) and --binpath (or -bp).
These options can be useful in scripts, in particular
in plugins `Makefile_s`. Note that this patch adds
no entry in the _help message_. This follows the policy
chosen for the option --bindir.
Origin: vendor, Debian
Forwarded: https://github.com/texmacs/texmacs/pull/99
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2024-08-21
--- a/src/Texmacs/Texmacs/texmacs.cpp
+++ b/src/Texmacs/Texmacs/texmacs.cpp
@@ -307,6 +307,10 @@
cout << get_env ("TEXMACS_PATH") << "\n";
exit (0);
}
+ else if ((s == "-hp") || (s == "-homepath")) {
+ cout << get_env ("TEXMACS_HOME_PATH") << "\n";
+ exit (0);
+ }
else if ((s == "-bp") || (s == "-binpath")) {
cout << get_env ("TEXMACS_BIN_PATH") << "\n";
exit (0);
|
