Re: [Texmacs-dev] TeXmacs 1.99.20

[Massimiliano Gubinelli]

Dear Giovanni,
 you do not need to install to run.

From the command line just execute something like

TEXMACS_PATH=./TeXmacs ./TeXmacs/bin/texmacs.bin

and you will run the version you like.

(provided you do it in the right directory)

Max


> On 5. May 2021, at 16:20, Giovanni <pireddag@posteo.de> wrote:
> 
> 
> On 05.05.21 15:46, TeXmacs wrote:
>> 
>> Hi Max,
>> 
>> I looked into all problems.  I think that I fixed the first one,
>> but need feed-back from Giovanni.
> 
> 
> I have compiled and installed the current development version, but I am not 
> confident that I am running it instead of 1.99.19, as despite I am trying to 
> point my system to the development version I am still seeing the same 
> configuration of the default texmacs.
> 
> But it may be, as the editor looks a bit different.
> 
> In the test I have done I still get the same debug message.
> 
> 
> 
> 
> 
> 
> _______________________________________________
> Texmacs-dev mailing list
> Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev