8000 Added docker page · map2check/map2check.github.io@f104454 · GitHub
[go: up one dir, main page]
Skip to content

Commit f104454

Browse files
hbgithbgit
committed
Added docker page
1 parent 0232a63 commit f104454

File tree

2 files changed

+93
-0
lines changed

2 files changed

+93
-0
lines changed

‎assets/images/docker.png

10.8 KB
Loading

‎docker.html

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
---
2+
title: Arcana
3+
layout: default
4+
---
5+
{% assign current = page.url | downcase | split: '/' %}
6+
<!-- Main -->
7+
<section class="wrapper style1">
8+
<div class="container">
9+
<div id="content">
10+
11+
<!-- Content -->
12+
13+
<article>
14+
<header>
15+
<h2>Building Map2Check in our development environment</h2>
16+
<p>Using Docker</p>
17+
</header>
18+
19+
<div style="width: 100%;">
20+
<div style="height: 150px; width: 150px; float: left;">
21+
<span class="image featured">
22+
<img src="{{ site.baseurl }}/assets/images/docker.png" alt="docker icon" />
23+
</span>
24+
</div>
25+
<div style="margin-left: 120px;">
26+
<p style="text-align:justify">
27+
Our Map2Check Docker is available by:
28+
</p>
29+
<ul>
30+
<li>
31+
<a href="#docker_hub">Docker Hub</a>
32+
</li>
33+
<li>
34+
<a href="#docker_git">Dockerfile from Map2Check repository</a>
35+
</li>
36+
</ul>
37+
38+
<!-- Each content -->
39+
<h2 id="docker_hub">Docker Hub</h2>
40+
<p style="text-align:justify">
41+
Map2Check docker image is available at <a href="https://hub.docker.com">https://hub.docker.com</a>, you can use our docker image, as following:
42+
</p>
43+
<figure id="code">
44+
<pre class="prettyprint lang-sh code">
45+
$ docker pull hrocha/mapdevel
46+
$ mkdir $(pwd)/mapdevel
47+
$ docker run -it --name=mapdevel -v $(pwd):/home/map2check/devel_tool/host:Z hrocha/mapdevel /bin/bash
48+
</pre>
49+
</figure>
50+
</br>
51+
52+
<h2 id="docker_git">Dockerfile from Map2Check repository</h2>
53+
<p style="text-align:justify">
54+
Map2Check dockerfile to build the Map2Check tool image with our development environment is available at <a href="https://github.com/hbgit/Map2Check.git">https://github.com/hbgit/Map2Check.git</a>, you can build our docker image, as following:
55+
</p>
56+
57+
<figure id="code">
58+
<pre class="prettyprint lang-sh code">
59+
$ gitclone https://github.com/hbgit/Map2Check.git
60+
$ git checkout map2checkllvm
61+
$ docker build -t hrocha/mapdevel .
62+
$ docker run -it --name=mapdevel -v $(pwd):/home/map2check/devel_tool/mygitclone:Z hrocha/mapdevel /bin/bash
63+
</pre>
64+
</figure>
65+
</br>
66+
67+
68+
<h2>Docker Extra Information</h2>
69+
<p style="text-align:justify">
70+
Our docker user is <font face="courier new">"map2check"</font> and the password is <font face="courier new">"map2check"</font>. Docker tips:
71+
</p>
72+
<ul>
73+
<li>
74+
You can check that the container still exists by running: <font face="courier new">$ docker ps -a</font>
75+
</li>
76+
<li>
77+
You can restart the container by running: <font face="courier new">docker start -ai mapdevel</font>
78+
</li>
79+
<li>
80+
You can run any command in running container just knowing its ID (or name): <font face="courier new">docker exec <container_id_or_name> echo "Hello from container!"</font>
81+
</li>
82+
</ul>
83+
84+
</br>
85+
86+
</div>
87+
</div>
88+
89+
</br>
90+
91+
</div>
92+
</div>
93+
</section>

0 commit comments

Comments
 (0)
0