Skip to content

Enhance profiles to be Dockerized Galaxy-aware.#488

Merged
jmchilton merged 4 commits intogalaxyproject:masterfrom
jmchilton:docker_galaxy_profiles
May 24, 2016
Merged

Enhance profiles to be Dockerized Galaxy-aware.#488
jmchilton merged 4 commits intogalaxyproject:masterfrom
jmchilton:docker_galaxy_profiles

Conversation

@jmchilton
Copy link
Member

@jmchilton jmchilton commented May 24, 2016

  • Record engine a profile is created with and ensure it remains fixed.
  • For docker_galaxy engine let docker container handle database, shed tool conf, and other persistent data by creating and mounting (-v) a /export directory from the profile director.
  • Other small profiles enhancements such as using profile_name in brand and better reporting and better doc strings.
  • xref Improved Galaxy Profiles #447
  • xref Docker Backend Followup #487
  • xref Planemo 2016 Abstract #408

jmchilton added 4 commits May 24, 2016 09:32
- Record engine a profile is created with and ensure it remains fixed.
- For ``docker_galaxy`` engine let docker container handle database, shed tool conf, and other persistent data by creating and mounting (``-v``) a ``/export`` directory from the profile director.
- Other small profiles enhancements such as using profile_name in brand and better reporting and better doc strings.

- xref galaxyproject#447
- xref galaxyproject#487
- xref galaxyproject#408
@jmchilton jmchilton merged commit 5dea467 into galaxyproject:master May 24, 2016
@jmchilton jmchilton deleted the docker_galaxy_profiles branch May 24, 2016 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant