From 77169a2078553bee1a94ef574fe2f89f9ee45d29 Mon Sep 17 00:00:00 2001 From: Bjoern Gruening Date: Tue, 16 Jun 2015 17:23:58 +0200 Subject: [PATCH] add docker_host as configurable option --- .../ipython/config/ipython.ini.sample | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/config/plugins/interactive_environments/ipython/config/ipython.ini.sample b/config/plugins/interactive_environments/ipython/config/ipython.ini.sample index b52d5760911..48e55de8198 100644 --- a/config/plugins/interactive_environments/ipython/config/ipython.ini.sample +++ b/config/plugins/interactive_environments/ipython/config/ipython.ini.sample @@ -21,3 +21,7 @@ command_inject = --sig-proxy=true -e DEBUG=false # 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_host = localhost