X-Git-Url: http://plrg.eecs.uci.edu/git/?p=tsan11-tsan11rec-docker.git;a=blobdiff_plain;f=README.md;fp=README.md;h=a0b626182f8bc60cdedb8d1b1f74dfdae95ac136;hp=9ad268711e765449367324ba47968b0c328a3feb;hb=b9c1cb6e96e54921db2f0db9aa5df8b43a7b7bbe;hpb=4d37a8b4cd3b2cae777501156ae446bee865057e diff --git a/README.md b/README.md index 9ad2687..a0b6261 100644 --- a/README.md +++ b/README.md @@ -18,6 +18,9 @@ docker start -ia tsan11-tsan11rec-container Then in a different terminal in the same directory: ```bash +# Change permission of the key +chmod 600 insecure_key + # To find the IP address of the container: docker inspect tsan11-tsan11rec-container