Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion modules/mandoline-mcp/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ The installer targets Linux x86_64 (`amd64`) only. For `latest`, it resolves
the newest non-draft, non-prerelease with `gh release list`, then runs
`gh release download` for `mandoline-linux-x86_64.tar.gz`. It extracts the
archive in a temporary directory, installs `/usr/local/bin/mandoline`, and removes
the temporary files.
the temporary files. Once the binary is available, it runs `mandoline install-skill`.

Pin an exact semantic version such as `0.15.0` to download the matching
`v0.15.0` release tag and reinstall when that pin changes. Changing the
Expand Down
4 changes: 4 additions & 0 deletions modules/mandoline-mcp/main.tftest.hcl
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,10 @@ run "defaults" {
condition = strcontains(coder_script.mandoline_mcp.script, "install_dir=\"/usr/local/bin\"") && strcontains(coder_script.mandoline_mcp.script, "mktemp -d")
error_message = "The installer must install into /usr/local/bin and stage downloads with mktemp -d."
}
assert {
condition = strcontains(coder_script.mandoline_mcp.script, "\"$install_dir/mandoline\" install-skill")
error_message = "After installing the binary, the installer must run mandoline install-skill."
}
}

run "pinned_version" {
Expand Down
5 changes: 5 additions & 0 deletions modules/mandoline-mcp/scripts/install.sh.tpl
Original file line number Diff line number Diff line change
Expand Up @@ -60,4 +60,9 @@ if [ ! -x "$install_dir/mandoline" ] || [ "$(cat "$version_file" 2>/dev/null ||
fi

[ -x "$install_dir/mandoline" ] || fail 'Mandoline installation finished without an executable binary.'

echo "Installing Mandoline skill…"
"$install_dir/mandoline" install-skill \
|| fail 'Could not install the Mandoline skill.'

echo "Mandoline MCP installed ($release); use \`mandoline mcp\`."
Loading