Refreshed container dev setup stuff

daypack-dev · Nov 28, 2023 · fab7088 · fab7088
1 parent e2dec56
commit fab7088
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 3 deletions.
diff --git a/containers/timere/Containerfile b/containers/timere/Containerfile
@@ -1,7 +1,9 @@
 FROM docker.io/ocaml/opam
+
 USER root
-RUN apt-get update
 RUN apt-get install --yes pkg-config
+
+USER opam
 RUN opam install dune containers fmt
 RUN opam install re ptime oseq seq diet
 RUN opam install yojson fileutils

diff --git a/start-container-timere-fuzz.sh b/start-container-timere-fuzz.sh
@@ -1,2 +1,7 @@
 #!/bin/bash
-podman run -it -v ~/timere:/root/timere --rm localhost/timere-fuzz
+podman run -it \
+  -v ~/timere:/home/opam/timere \
+  --userns keep-id:uid=1000,gid=1000 \
+  --workdir /home/opam/timere \
+  --rm \
+  localhost/timere-fuzz
diff --git a/start-container-timere.sh b/start-container-timere.sh
@@ -1,2 +1,7 @@
 #!/bin/bash
-podman run -it -v ~/timere:/root/timere --rm localhost/timere
+podman run -it \
+  -v ~/timere:/home/opam/timere \
+  --userns keep-id:uid=1000,gid=1000 \
+  --workdir /home/opam/timere \
+  --rm \
+  localhost/timere