mailing-list for TeXmacs Users

[Nicola Mingotti <address@hidden>]

"--delete-plugin-cache" worked, 

thank you Froncois ! 

but, other question, do I need to restart TeXmacs every time I modify a plugin ?

bye

Nicola

On Mon, Apr 4, 2016 at 10:36 AM, François Poulain <address@hidden> wrote:

Le Mon, 4 Apr 2016 10:23:16 +0200,
Nicola Mingotti <address@hidden> a écrit :

> ops, I my TeXmacs menus there is not
> Tools -> Update -> Plugins.
> Only:
> Tools -> Update -> Styles
> Tools -> Update -> Inclusions

iirc I added it 2 years ago. :)

By the way, you can also launch TeXmacs with the -delete-plugin-cache
option.

François

--
François Poulain <address@hidden>
[le dandy] joue sa vie, faute de pouvoir la vivre.

-+- Albert Camus, L'homme révolté -+-