diff options
| author |  MarkKoz <[email protected]> | 2021-02-03 13:44:53 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2021-02-04 16:19:46 -0800 |
| commit | 12548fb233700792a5b109950db41e49284ad67f (patch) | |
| tree | b1a2e3a52b0742de3ee4a2e6d5153a35af5b4e4b /scripts/protoc.sh | |
| parent | Rename "snekbox" script to "webserver" in Pipfile (diff) | |
Replace protoc shell script with a Python one
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" |