From 67bfc749e8fe9402f124704ddc0973c167c18d77 Mon Sep 17 00:00:00 2001
From: xpetit <32063953+xpetit@users.noreply.github.com>
Date: Fri, 30 Apr 2021 17:09:25 +0200
Subject: [PATCH] Update setup_of_external_repo.md

---
 docs/setup_of_external_repo.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/setup_of_external_repo.md b/docs/setup_of_external_repo.md
index cd71c791..f0a5005c 100644
--- a/docs/setup_of_external_repo.md
+++ b/docs/setup_of_external_repo.md
@@ -68,7 +68,7 @@ The container runs with the following settings (options of `docker run`) :
   - Working directory inside the container
 - `--tmpfs /jail:size=100M,noatime,exec,nodev,nosuid,uid=1000,gid=1000,nr_inodes=5k,mode=1700`
   - Mount a tmpfs directory on `/jail`, 100 MB writable.
-- `--volume volume_containing_student_repository:/jail/student`
+- `--volume volume_containing_student_repository:/jail/student:ro`
   - Bind mount a volume containing the student repository.
 
 Example of a [Dockerfile](https://github.com/01-edu/public/blob/master/js/tests/Dockerfile) and its [entrypoint](https://github.com/01-edu/public/blob/master/js/tests/entrypoint.sh).