jeremy
18 lines
592 B
Bash
Executable File
18 lines
592 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
repo_root=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
|
|
prompt=${1:-"Use the bash tool to run 'pwd', then use the ls tool to list the current directory, then respond with DONE."}
|
|
provider=${JCODE_PROVIDER:-auto}
|
|
cargo_exec="$repo_root/scripts/cargo_exec.sh"
|
|
|
|
if [[ ! -x "$repo_root/target/release/jcode" ]]; then
|
|
(cd "$repo_root" && "$cargo_exec" build --release)
|
|
fi
|
|
|
|
workdir=$(mktemp -d)
|
|
trap 'rm -rf "$workdir"' EXIT
|
|
|
|
JCODE_HOME="$workdir" PATH="$repo_root/target/release:$PATH" \
|
|
jcode run --no-update --trace --provider "$provider" "$prompt"
|