diff --git a/docker/README.md b/docker/README.md index 09e17fc0..b33d0610 100644 --- a/docker/README.md +++ b/docker/README.md @@ -30,3 +30,7 @@ Since we use supervisor, we use that to handle the logs. Then, we need to select Although it appears that it would be convenient to put them in the `dataFolder` directory, this is problematic because they will be accessible through the `webApp`. Instead, we put them in the `exec` directory, which is a directory dedicated to files generated during execution. It may also contain configuration files, etc. + +Note that we explicitly keep empty `logs`, `config` and `sockets` directories inside of the `exec` directory +in the git repository to ensure that supervisor doesn't fail to execute due missing those directories. It is +not required to use the directories in the repository, but it certainly is convenient. diff --git a/exec/.gitignore b/exec/.gitignore new file mode 100644 index 00000000..e3f2206d --- /dev/null +++ b/exec/.gitignore @@ -0,0 +1,5 @@ +# We want to ignore everything in these directories +logs/ +nginx/ +config/ +sockets/ diff --git a/exec/config/.keepInGit b/exec/config/.keepInGit new file mode 100644 index 00000000..e69de29b diff --git a/exec/logs/.keepInGit b/exec/logs/.keepInGit new file mode 100644 index 00000000..e69de29b diff --git a/exec/sockets/.keepInGit b/exec/sockets/.keepInGit new file mode 100644 index 00000000..e69de29b