On Tue, 25 Feb 2020, Daniel Volinski wrote:
> I'm trying to use the TeXmacs-Reduce interface to no avail.
> I always get a Busy.. message, and when I try to issue a Reduce command nothing happens and I also get a Busy.. message before the command
Have you copied the file plugins/reduce/install/reducerc to your
~/.reducerc as written in plugins/reduce/doc/reduce.en.tm ?
If you already have .reducerc, you should add the line from
plugins/reduce/install/reducerc, namely
lisp << if getenv("TEXMACS_REDUCE_PATH") then load tmprint >>$
to your own .reducerc.
Do you use psl reduce or csl reduce? The plugin works only with psl
reduce. Is redpsl in your $PATH?
> I'm using Windows 10 64 bits.
This may be a problem. I know next to nothing about Microsoft Windows.
Where does reduce search for its init file .reducerc in Windows? Can
Windows run shell scripts, in this case tm_reduce? Its content is
#!/bin/sh -f
TEXMACS_REDUCE_PATH="$TEXMACS_PATH/plugins/reduce"
export TEXMACS_REDUCE_PATH
exec redpsl
Does Windows know what is exec?
Andrey