Hello all,
Where can I find a list of 'environment' variables in Galaxy, such as: $GALAXY_HOME ${GALAXY_DATA_INDEX_DIR}
More specifically, I am looking for the temporary directory setting of a user's Galaxy (as set in the universe_wsgi.ini).
Kind regards, Joachim
galaxy-dev@lists.galaxyproject.org