Skip to content

Improving docker_shell#334

Merged
jmchilton merged 2 commits intogalaxyproject:masterfrom
kellrott:docker-terminal
Oct 20, 2015
Merged

Improving docker_shell#334
jmchilton merged 2 commits intogalaxyproject:masterfrom
kellrott:docker-terminal

Conversation

@kellrott
Copy link
Contributor

Adding the '-t' flag to the docker shell command (add psuedo terminal) as well as mounting the tool directory and the current working directory, also setting working directory for docker.

…) as well as mounting the tool directory and the current working directory.
@jmchilton
Copy link
Member

This is seems good, thanks. One question I'm not sure the answer - instead of using the fixed paths should we mount the volumes in specific places instead /working, /tool?

@kellrott
Copy link
Contributor Author

I'm mimicking the Galaxy behavior of mounting things to the same path inside the container. But that can be changed. Do you want it that way?

@jmchilton
Copy link
Member

This is fine for now, it is simple and you are right - very much the naive approach of Galaxy. Thanks for these enhancements @kellrott they make a lot of sense to me.

jmchilton added a commit that referenced this pull request Oct 20, 2015
@jmchilton jmchilton merged commit 80bd596 into galaxyproject:master Oct 20, 2015
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.

2 participants