#!/bin/shGALAXY_PID=${GALAXY_PID:galaxy.pid}PID_FILE=$GALAXY_PIDLOG_FILE=$GALAXY_LOGexport GALAXY_CONFIG_OVERRIDE_TOOL_CONFIG_FILE= "test/functional/tools/samples_tool_conf.xml"export GALAXY_CONFIG_OVERRIDE_ENABLE_BETA_TOOL_FORMATS= "true" else echo "No PID found in'$server.pid' yet"# If there is a file that defines a shell environment specific to this# instance of Galaxy, source the file
#CPU HT*
#TB
#TB
#Card
* CPU HT = hyperthreadé
Si vous souhaitez être conseillé sur le choix d’une de nos solutions de calcul, vous pouvez nous contacter sur la page dédiée :
