Commit Graph
6 Commits
Author SHA1 Message Date
Nicola Soranzo 6569c2dcc3 Partially lint scripts/ . 2015-07-13 20:13:28 +01:00
Nicola Soranzo ee28d3c45a Fix merge() documentation. 2015-01-23 19:19:15 +00:00
Nate Coraor 8fadc6392b Rename universe_wsgi.ini -> galaxy.ini everywhere. 2014-09-15 16:43:51 -04:00
John Chilton c3e99bc384 Improvements to reports management script (run_reports.sh) to enable managing the reports app from CloudMan. These enhancements are all "optional", the default behavior of run_reports.sh is unchanged.
Added flag (--sync-config) to run_reports.sh script that will cause it to synchronize the database connection and file path properties in reports_wsgi.ini with those in universe_wsgi.ini prior to starting paster app.

Allow specification of reports configuration directory mirroring similar extensions previously accepted for universe config and run.sh

Added usage documentation to run_reports.sh.

Added extension points to tweak pid and log location for reports application via environment variables.
2012-09-21 22:04:15 -05:00
John Chilton 55b451dcf4 Fix a typo. 2012-05-24 07:47:14 -05:00
John Chilton 7ba16d90ad Augment run.sh to search for the optional environment variable
GALAXY_UNIVERSE_CONFIG_DIR. If this is set, before Galaxy is launched
the directory specified by the environment variable is searched for
ini config files. These files are merged into a single configuration
structure and written back out as universe.ini.

This should allow for a more modular configuration of Galaxy. The
files are merged in lexiographic order and later files can override
properties specified ealier on. If a consistent naming scheme is used
this can be really useful:

As an example, one might specify the files as such:

  000_galaxy_defaults.ini
  000_default_sqlite_config.ini
  100_institution_specific.ini
  500_job_runner.ini
  500_webapp_0.ini
  500_webapp_1.ini
  500_instance_specific.ini
  500_available_postgres.ini
2012-05-04 00:12:43 -05:00