From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 15 Dec 2020 06:24:56 +0000 (-0800)
Subject: Add readme
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=tsan11-tsan11rec-docker.git;a=commitdiff_plain;h=c82fb2972c52cfbbc0c18eb67f0fa3ba871e6d63

Add readme
---

diff --git a/README.md b/README.md
index e69de29..29a0ecf 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,17 @@
+# Load image:
+docker image load -i tsan11-tsan11rec-image.tar.gz
+
+# Create the container:
+docker create -it --name tsan11-tsan11rec-container tsan11-tsan11rec-image:asplos
+
+# Start the container
+docker start -ia tsan11-tsan11rec-container
+
+# To find the IP address of the container:
+$ docker inspect tsan11-tsan11rec-container
+
+# Then use scp to copy the scripts directory in the tsan11-tsan11rec-docker repository to the container (replace 172.17.0.2 by the container’s IP address):
+$ scp -i insecure\_key -r scripts root@172.17.0.2:/data
+
+# Logging into the container as root (replace 172.17.0.2 by the container’s IP address):
+$ ssh -i insecure\_key root@172.17.0.2