diff options
Diffstat (limited to 'vere/docker/get_urbit_code.sh')
| -rwxr-xr-x | vere/docker/get_urbit_code.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vere/docker/get_urbit_code.sh b/vere/docker/get_urbit_code.sh new file mode 100755 index 0000000..4873a04 --- /dev/null +++ b/vere/docker/get_urbit_code.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +code=$(curl -s -X POST -H "Content-Type: application/json" \ + -d '{ "source": { "dojo": "+code" }, "sink": { "stdout": null } }' \ + http://127.0.0.1:12321) + +# Trim newlines and double quotes. +echo "$code" | sed 's/\\n//' | tr -d '"' |