mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Thursday 13 June 2002 17:41, Bitouze Denis wrote:

> #!/bin/sh
>
> if [ -z "$TEXMACS_PATH" ] ; then
>   TEXMACS_PATH=/usr/share/TeXmacs-1.0.0.3
>   export TEXMACS_PATH
[...]
> PATH="$TEXMACS_BIN_PATH/bin:$PATH"
> LD_LIBARY_PATH="$TEXMACS_BIN_PATH/lib${LD_LIBARY_PATH+":$LD_LIBARY_PATH
> "}"
> export PATH LD_LIBARY_PATH
>
> exec texmacs.bin "$@"

On Thursday 13 June 2002 19:24, Bitouze Denis wrote:
>
> OK. Here is the result of 'strace texmacs':
>
> execve("/usr/bin/texmacs", ["texmacs"], [/* 49 vars */]) = 0
[...]
> stat64("/usr/local/lib/TeXmacs-0.3.5.8//bin/texmacs.bin", 0xbffff310) =

My guess: you already define TEXMACS_PATH to be 
"usr/local/lib/TeXmacs-0.3.5.8/" (note the trailing slash) somewhere, 
like in your ~/.profile file, so the texmacs shell script just do not set 
it (note that the texmacs script do not set TEXMACS_PATH with a trailing 
slash).

How to know: open a terminal and type:
echo $TEXMACS_PATH

If I am right, it will display:
usr/local/lib/TeXmacs-0.3.5.8/

So you just need to find the file where you (wrongly) set TEXMACS_PATH 
and remove that initialization and the associate export statement.

grep -R 'usr/local/lib/TeXmacs-0.3.5.8/' ~ etc

will probably find it for you.
-- 

                                  -- David --