Merge branch 'master' of github.com:lemire/docker_programming_station

lemire · May 29, 2020 · 1cc99d2 · 1cc99d2
2 parents b653ceb + a9f9926
commit 1cc99d2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -48,8 +48,8 @@ Features:
 - I works on systems supporting Security-Enhanced Linux.
 
 Caution:
-
-- You should map specific directories insider a user directory. Do you use this script to map system-owned  directories like `/home/` or `/usr/` as it would be unsafe.
+- The first time you run the script, it builds the image which is an expensive process. It is done only once, however.
+- You should map specific directories insider a user directory. Do not use this script to map system-owned  directories like `/home/` or `/usr/` as it would be unsafe.
 
 Tricks:
 - If you put the `run` command in your PATH, you will be able to run it from everywhere.