chore(docker): preserve history between sessions (#7269)

Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Mar 11, 2023 · 0cff92b · 0cff92b
1 parent 82df8da
commit 0cff92b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docker/dev.yml b/docker/dev.yml
@@ -13,6 +13,8 @@ services:
     security_opt:
       - seccomp:unconfined
     stdin_open: true
+    environment:
+      HISTFILE: /home/opam/dune/.git/.bash_history
     volumes:
       - ../:/home/opam/dune
       - _build:/home/opam/dune/_build/