Re: [Texmacs-dev] Re: #!/bin/bash in TeXmacs

[Joris van der Hoeven]

On Thu, Nov 10, 2005 at 02:24:42PM +0600, Andrey G. Grozin wrote:
> On Thu, 10 Nov 2005, Ralf Treinen wrote:
> >In case you are talkig about maxima_detect : "type -p" is a bashism.
> Earlier versions of this script used "which". It was changed to "type -p" 
> because some systems don't have "which" (cygwin?).

I guess that it would be a good idea to include some simple additional
programs with TeXmacs for these kind of things: Andrey also had a problem
to find the real path of an executable file. If someone has time to write
some highly portable C/C++ programs for such things, that would be cool.
Probably one should directly base oneself on low-level primitives,
like stat in src/System/Files/file.cpp (also in the case of real_path).
It is a *SHAME* that Unix does not provide utilities for this by default...

Best wishes, Joris