From 41706ea09fc497ab81d7e2a28b18dbcda750e1e6 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sun, 6 Mar 2022 01:56:25 +0100
Subject: [PATCH] build(docker): Refine the `.dockerignore` as a whitelist
 (#471)

* many potential folders/files to ignore (e.g. _build) were not listed
* let's bluntly ignore what is not required by the `Dockerfile`s
---
 .dockerignore | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/.dockerignore b/.dockerignore
index 0a8c2f0a9..334a0b662 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,4 +1,19 @@
-.git
-_obuild
-_opam
-www
+*
+# whitelist: ignore everything except:
+!src
+!static
+!translations
+!scripts
+!demo-repository
+
+!learn-ocaml.opam
+!learn-ocaml.opam.locked
+!learn-ocaml-client.opam
+!learn-ocaml-client.opam.locked
+
+!Makefile
+!dune-project
+!dune
+
+# ignore backup files
+**/*~