mailing-list for TeXmacs Users

["Andrey G. Grozin" <address@hidden>]

On Mon, 29 Oct 2012, Miguel de Benito Delgado wrote:
> What's the file "realpath.py" for? I don't see it referenced anywhere...
It is used in the "lazy" script plugins/mathematica/bin/tm_mathematica.
Usually, `which math` is a symlink to some binary inside the tree where 
mathematica is installed. realpath is used to obtain its real path (to 
follow the symlink). If no real realpath is installed, realpath.py is 
called instead (in the hope that python is installed).

Andrey