Skip to content

Instantly share code, notes, and snippets.

@bgruening
Created September 18, 2015 15:51
Show Gist options
  • Save bgruening/a8d53b500642b72db358 to your computer and use it in GitHub Desktop.
Save bgruening/a8d53b500642b72db358 to your computer and use it in GitHub Desktop.
ipython.ini from galaxy.uni-freiburg.de
[main]
# Following options are ignored if using the Galaxy dynamic proxy but
# are useful if mapping a range of ports for environment consumption.
#apache_urls = False
#password_auth = False
#ssl = False
[docker]
# Command to execute docker. For example `sudo docker` or `docker-lxc`.
command = docker -H tcp://glxdk1:4243
# The docker image name that should be started.
image = bgruening/docker-ipython-notebook:dev
# Additional arguments that are passed to the `docker run` command.
command_inject = --sig-proxy=true
# URL to access the Galaxy API with from the spawn Docker containter, if empty
# this falls back to galaxy.ini's galaxy_infrastructure_url and finally to the
# Docker host of the spawned container if that is also not set.
#galaxy_url =
# The Docker hostname. It can be useful to run the Docker daemon on a different
# host than Galaxy.
docker_hostname = glxdk1
@bgruening
Copy link
Author

glxdk1 is a VM running CentOS 7 and docker.

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