[Texmacs-dev] Recognition of extern plugins

[Joris van der Hoeven]

Hi *,

What would be the appropriate place for extern programs to
install TeXmacs plugins? I see several possible situations:

--------------
1) The extern program is compiled after TeXmacs

The program should use `texmacs --path` during its configuration
in order to find out where to install the plugins. If the path
is write protected, then install in ~/.TeXmacs/plugins.

2) The extern program is compiled before TeXmacs

Install the plugins into a "standard directory".
Maybe /usr/share/TeXmacs ?

3) The extern program is provided as a binary

The packager should use 1)
--------------

Any opinions?