summaryrefslogtreecommitdiff
path: root/docker
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-22 17:41:40 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-12-22 17:41:40 +0100
commit6d746dbd3472ce785015f47fd4c3b1937d2c32b0 (patch)
treee75cfd0d9f402a39d0363d2ba4c7bc83e23c9ba1 /docker
parent2f7fef33ea55f766defad8ca6fcdc2c9ff43952d (diff)
downloaddeployment-6d746dbd3472ce785015f47fd4c3b1937d2c32b0.tar.gz
deployment-6d746dbd3472ce785015f47fd4c3b1937d2c32b0.tar.bz2
deployment-6d746dbd3472ce785015f47fd4c3b1937d2c32b0.zip
Some Docker instructions.
Diffstat (limited to 'docker')
-rw-r--r--docker/README15
1 files changed, 15 insertions, 0 deletions
diff --git a/docker/README b/docker/README
new file mode 100644
index 0000000..972f57a
--- /dev/null
+++ b/docker/README
@@ -0,0 +1,15 @@
+How to use these images.
+
+From a "docker ready" environment, you need to (1) build the
+image and (2) run it.
+
+(1) is done by:
+
+$ docker build -t taler/base <THIS_REPO>/docker/base/
+$ docker build -t taler/exchange <THIS_REPO>/docker/exchange/
+
+(2) is done by:
+
+$ docker run -it taler/exchange
+
+Note that the value passed to option -t is completely arbitrary.