blob: 4873a045da6f37ba666e3e961d76ed55972b90b4 (
plain)
1
2
3
4
5
6
7
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 '"'
|
