diff options
Diffstat (limited to 'genapi/main.sh')
-rwxr-xr-x | genapi/main.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/genapi/main.sh b/genapi/main.sh new file mode 100755 index 0000000..a5d88bf --- /dev/null +++ b/genapi/main.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash +set -euxo pipefail + +# First: +# $ python3 -m virtualenv env +# $ source env/bin/activate +# $ pip install -r requirements.txt + +_output="$(realpath ../src/generated_api.rs)" + +echo "Writing generated API to ${_output}" +./main.py | rustfmt --config max_width=79 > "${_output}" |