Add separate script for dockerised build

sourcegraph · Jun 25, 2024 · 1a068c6 · 1a068c6
1 parent e8f0b8d
commit 1a068c6
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/dev/proto-generate-in-docker.sh b/dev/proto-generate-in-docker.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -xeuo pipefail
+
+cd "$(dirname "${BASH_SOURCE[0]}")/.." # cd to repo root dir
+
+IMAGE_NAME="sourcegraph/scip-bindings-env"
+
+docker build . -t $IMAGE_NAME -f Dockerfile.bindings
+docker run -v $(pwd):/src $IMAGE_NAME