Update Docker

docker/README.md

@@ -12,6 +12,7 @@ cd docker
 
 The following instructions manipulate the docker container, please make sure to have **root** privileges (if necessary) for docker commands.
 
+### Using GNU Make
 * Build the docker image  (~ 30 minutes)
 
 ```
@@ -22,7 +23,25 @@ The following instructions manipulate the docker container, please make sure to
 ```
 # make run
 ```
-It is now possible to use a regular file explorer and programs to browse the files in the directory in parallel, changes done in the docker reflect on the files directly (outside docker).
+
+* Proceed to: [after running](#after-running).
+
+### Without GNU Make ###
+* Build the docker image (~ 30 minutes)
+
+```
+# docker build --force-rm=true  -t themis-artifact .
+```
+
+* Run the docker image
+
+```
+# docker run --rm -p 8050:8050 -p 8051:8051  -i -v `pwd`/../:/home/user/themis/:rw -t themis-artifact
+```
+
+## After Running
+
+* It is now possible to use a regular file explorer and programs to browse the files in the directory in parallel, changes done in the docker reflect on the files directly (outside docker).
 
 > **Note:** The docker image mounts all the artifacts (as volumes) in read-write mode, changes done in the docker container will reflect in the original folder.
 

docker/index.html

@@ -52,6 +52,7 @@ code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Inf
 <div class="sourceCode"><pre class="sourceCode bash"><code class="sourceCode bash"><span class="bu">cd</span> docker</code></pre></div>
 <h2 id="creating-and-running-the-image">Creating and Running the Image</h2>
 <p>The following instructions manipulate the docker container, please make sure to have <strong>root</strong> privileges (if necessary) for docker commands.</p>
+<h3 id="using-gnu-make">Using GNU Make</h3>
 <ul>
 <li>Build the docker image (~ 30 minutes)</li>
 </ul>
@@ -60,7 +61,22 @@ code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Inf
 <li>Bind all the artifacts to the running docker image and launch a shell in the docker container</li>
 </ul>
 <pre><code># make run</code></pre>
-<p>It is now possible to use a regular file explorer and programs to browse the files in the directory in parallel, changes done in the docker reflect on the files directly (outside docker).</p>
+<ul>
+<li>Proceed to: <a href="#after-running">after running</a>.</li>
+</ul>
+<h3 id="without-gnu-make">Without GNU Make</h3>
+<ul>
+<li>Build the docker image (~ 30 minutes)</li>
+</ul>
+<pre><code># docker build --force-rm=true  -t themis-artifact .</code></pre>
+<ul>
+<li>Run the docker image</li>
+</ul>
+<pre><code># docker run --rm -p 8050:8050 -p 8051:8051  -i -v `pwd`/../:/home/user/themis/:rw -t themis-artifact</code></pre>
+<h2 id="after-running">After Running</h2>
+<ul>
+<li>It is now possible to use a regular file explorer and programs to browse the files in the directory in parallel, changes done in the docker reflect on the files directly (outside docker).</li>
+</ul>
 <blockquote>
 <p><strong>Note:</strong> The docker image mounts all the artifacts (as volumes) in read-write mode, changes done in the docker container will reflect in the original folder.</p>
 </blockquote>