diff options
| author | polwex <polwex@sortug.com> | 2025-10-05 21:56:51 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-10-05 21:56:51 +0700 |
| commit | fcedfddf00b3f994e4f4e40332ac7fc192c63244 (patch) | |
| tree | 51d38e62c7bdfcc5f9a5e9435fe820c93cfc9a3d /vere/docker/get_urbit_code.sh | |
claude is gud
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 '"' |