#!/bin/bash

##### adapter les variables a la configuration locale ####################
export RACINE=$HOME/sources_EXEMAALT

export BIN=$RACINE/bin  # repertoires des executables

export SOURCES=$RACINE/sources            # repertoire des sources

export LOG=$SOURCES/log

export LOG_GROS=$LOG/log_gros.log
export LOG_PETIT=$LOG/log_petit.log
export LOG_MINUS=$LOG/log_minus.log

# options vincent:
export INSTALL="cp -f "              #copie locale
export EXEC_MACHINE_WEB="bash -c "   #reste sur la meme machine
export RACINE_WEB=$RACINE    
export EXEMAALT=$RACINE/EXEMAALT                  # repertoire contenant une copie du site web
export EXEC_PERMS="$BIN/perms_sources_EXEMAALT"

# options fred:
# INSTALL="scp1 -A "                       #copie sur machine distincte
# EXEC_MACHINE_WEB="ssh -t topo "          #execution de commandes sur topo
# RACINE_WEB=/home/leroux/public_html      #repertoire ABSOLU contenant les fichiers web sur topo.
# EXEMAALT="topo:$RACINE_WEB/EXEMAALT"     #EXEMAALT est sur topo dans public_html
# EXEC_PERMS=$EXEC_MACHINE perms_public_html #le script qui met a jour les permissions


export EXOS_TRIES=$EXEMAALT/exos_tries            # repertoire public des exos tries

export EXOS_INDIV=$EXEMAALT/exos_individuels      # repertoire public des exos individuels



#export RACINE BIN SOURCES SOURCES_TEST EXEMAALT EXOS_TRIES 
#export REPERTOIRES_A_COPIER_DANS_EXEMAALT