From de03710756c1858b47802bae5b3d3d67fde248b7 Mon Sep 17 00:00:00 2001
From: Eric Rasche <rasche.eric@gmail.com>
Date: Tue, 29 Sep 2015 10:03:07 -0500
Subject: [PATCH] Comment out default value

---
 doc/source/admin/interactive_environments.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/admin/interactive_environments.rst b/doc/source/admin/interactive_environments.rst
index 4159591b32a..7723a2aa999 100644
--- a/doc/source/admin/interactive_environments.rst
+++ b/doc/source/admin/interactive_environments.rst
@@ -292,7 +292,7 @@ Once this is done, we can set up our INI file, ``config/helloworld.ini.sample``
 
     [docker]
     # Command to execute docker. For example `sudo docker` or `docker-lxc`.
-    command = docker {docker_args}
+    #command = docker {docker_args}
 
     # The docker image name that should be started.
     image = hello-ie