Change permission of the ssh key

diff --git a/README.md b/README.md
index 9ad268711e765449367324ba47968b0c328a3feb..a0b626182f8bc60cdedb8d1b1f74dfdae95ac136 100644 (file)
--- 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