diff options
Diffstat (limited to 'Tools/ros/vagrant/docker-host-base/config/docker-default')
-rw-r--r-- | Tools/ros/vagrant/docker-host-base/config/docker-default | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/Tools/ros/vagrant/docker-host-base/config/docker-default b/Tools/ros/vagrant/docker-host-base/config/docker-default deleted file mode 100644 index 19c466b6b..000000000 --- a/Tools/ros/vagrant/docker-host-base/config/docker-default +++ /dev/null @@ -1,29 +0,0 @@ -# -# Default config for docker /etc/default/docker -# Copied from a provisioned vagrant box -# -# Modifications: -# - listen to TCP port -# - removing deprecated "-r=true" option which apparently doesn't work anymore -# > use restart policies for specific containers if necessary -# - -# Docker Upstart and SysVinit configuration file - -# Customize location of Docker binary (especially for development testing). -#DOCKER="/usr/local/bin/docker" - -# Use DOCKER_OPTS to modify the daemon startup options. -#DOCKER_OPTS="--dns 8.8.8.8 --dns 8.8.4.4" - -# If you need Docker to use an HTTP proxy, it can also be specified here. -#export http_proxy="http://127.0.0.1:3128/" - -# This is also a handy place to tweak where Docker's temporary files go. -#export TMPDIR="/mnt/bigdrive/docker-tmp" - -# Expose TCP port in addition to socket - -# License: according to LICENSE.md in the root directory of the PX4 Firmware repository - -DOCKER_OPTS="${DOCKER_OPTS} -H unix:///var/run/docker.sock -H 0.0.0.0:2375" |