diff options
| author |  Joe Banks <[email protected]> | 2021-02-07 20:25:41 +0000 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-02-07 20:25:41 +0000 |
| commit | c9368a4c67845132354c063483b86ad7d6959307 (patch) | |
| tree | 252eebb614063f16cb7c1fb2c070a8de635ce8d9 /scripts/protoc.sh | |
| parent | Remove cgroup parent constants from config file (diff) | |
| parent | Merge PR #92 - replace shell scripts with Python scripts (diff) | |
Merge branch 'master' into dynamic-parent-cgroups
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" |