diff options
| author |  Mark <[email protected]> | 2021-02-04 17:25:57 -0800 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-02-04 17:25:57 -0800 |
| commit | cf87b9b3cbc385ac0ae084cd73be3c218a125938 (patch) | |
| tree | 3fa5ca111bc9129125883fa4c426d69512d119ef /scripts/protoc.sh | |
| parent | Merge PR #88 - use protobuf to parse config (diff) | |
| parent | CI: use Docker Compose to run the container (diff) | |
Merge PR #92 - replace shell scripts with Python scripts
Diffstat (limited to 'scripts/protoc.sh')
| -rwxr-xr-x | scripts/protoc.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/protoc.sh b/scripts/protoc.sh deleted file mode 100755 index 5771b95..0000000 --- a/scripts/protoc.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env sh - -set -eu - -URL='https://raw.githubusercontent.com/google/nsjail/2.9/config.proto' -SRC_DIR='snekbox' -FILE_NAME='config' -PROTO_PATH="${SRC_DIR}/${FILE_NAME}.proto" - -curl -SsL "${URL}" -o "${PROTO_PATH}" -protoc --proto_path="${SRC_DIR}" --python_out="${SRC_DIR}" "${PROTO_PATH}" - -rm -f "${PROTO_PATH}" -mv -f "${SRC_DIR}/${FILE_NAME}_pb"*.py "${SRC_DIR}/${FILE_NAME}.py" |