New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhance profiles to be Dockerized Galaxy-aware. #488

Merged
merged 4 commits into from May 24, 2016

Conversation

Projects
None yet
1 participant
@jmchilton
Copy link
Member

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 #447
  • xref #487
  • xref #408

jmchilton added some commits May 24, 2016

Enhance profiles to be Dockerized Galaxy-aware.
- 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 #447
- xref #487
- xref #408

@jmchilton jmchilton merged commit 5dea467 into galaxyproject:master May 24, 2016

1 check was pending

continuous-integration/travis-ci/pr The Travis CI build is in progress
Details

@jmchilton jmchilton deleted the jmchilton:docker_galaxy_profiles branch May 24, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment