#!/bin/sh

#		Le script de lancement de Sphinx sur DEC station.
#		This shell script will start Sphinx on an DEC station.
#		        Version 3.20 - 26/03/93

#    A l'installation de Sphinx, ce sript doit etre adapte en donnant a la
#    variable SPHINX_DIR le nom de la directory d'installation.

#    Si vous disposez de moins de 8  mega octets  sur  /usr/tmp,  IL  FAUT
#    egalement  ajouter l'option -U dir, dir etant  le  nom du  repertoire
#    sur lequel sphinx placera ses fichiers temporaires (en l' absence  de
#    l' option  -U,  les fichiers temporaires de  Sphinx  sont places dans
#    /usr/tmp).
#
#    ATTENTION : un minimum de place est necessaire sur  /tmp pour pouvoir
#    compresser et decompresser les grosses images (2 a  10  Megas  octets
#    suivant la taille des images).

#    When installing Sphinx on your machine, you must adapt this script by
#    setting SPHINX_DIR to the name of the directory where Sphinx has been
#    installed.

#    If the  free  space  on  /usr/tmp is less than 8 mega bytes, you MUST
#    add -U  dir (dir being  the  directory  where  Sphinx  will  put  his
#    temporary  files).  If  this  option  is  omitted,  Sphinx  will  use
#    /usr/tmp.

#    WARNING : a minimum of 2 to 10 Megas bytes of free space on /tmp is
#    required in order to compress/uncompress images.

# Le repertoire d'installation de Sphinx.
# Sphinx's home  directory

SPHINX_DIR=/home/louis/DELIVERY

# Lancement de Sphinx.
# Starting Sphinx.

/usr/bin/X11/xrdb -merge $SPHINX_DIR/files/fonts.DECST
if [ -f $HOME/.Xdefaults ]; then  /usr/bin/X11/xrdb -merge $HOME/.Xdefaults; fi
$SPHINX_DIR/bin/sphinx.bin -Nologo -f$SPHINX_DIR/files -U /usr/tmp -NoRmtmpfiles

