First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: texmacs.bin: not found


Chronological Thread 
  • From: David Allouche <address@hidden>
  • To: address@hidden
  • Subject: Re: texmacs.bin: not found
  • Date: Fri, 14 Jun 2002 19:36:16 +0200
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 --

Archive powered by MHonArc 2.6.19.

Top of page