helm/interface/cadet

   1 #! /bin/sh
   2
   3 # Per (my)Coq 6.3.0
   4 export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
   5
   6 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
   7
   8 #V6.2
   9 #export HELM_CONFIGURATION_PREFIX=~/HELM/installation
  10
  11 #V7
  12 export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
  13
  14 export T1LIB_CONFIG=./t1.config
  15
  16 # Stix font
  17 xset fp
  18 xset fp+ ~/HELM/installation/fonts/
  19 xset fp rehash