parce que c'est une erreur de ma part :
solution 1:
-----------
On ne touche pas a /usr/local/bin/thot et il faut lancer
/usr/local/thot/bin/thot a la place
solution 2: (pour les plus courageux)
-----------
detruire /usr/local/bin/thot et le remplacer par le petit
script suivant :
----------------------------------------
#!/bin/sh
exec /usr/local/thot/bin/thot $*
----------------------------------------
en n'oubliant pas le chmod +x /usr/local/thot/bin/thot
solution 3: (pour les temeraires)
-----------
editer /usr/local/bin/thot pour supprimer les lignes suivantes
# --------------------------------
HERE=`pwd`
FIRST_CHAR=`echo $0 | cut -c 1`
if test "$FIRST_CHAR" = "/"
then
FULL_PATHNAME="$0"
else
FULL_PATHNAME="$HERE/$0"
fi
FULL_PATHDIR=`dirname $FULL_PATHNAME`
cd $FULL_PATHDIR
FULL_PATHDIR=`pwd`
cd $HERE
EXEC_FILENAME=`basename $FULL_PATHNAME`
FULL_PATHNAME="$FULL_PATHDIR/$EXEC_FILENAME"
THOTDIR=`dirname $FULL_PATHDIR`; export THOTDIR
# --------------------------------
et les remplacer par
# --------------------------------
THOTDIR=/usr/local/thot; export THOTDIR
# --------------------------------
desole, merci et bonne continuation ...
Daniel