#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
python3 - "$ROOT/manifest.json" <<'PY'
import json, sys
p=sys.argv[1]
data=json.load(open(p))
print('name=' + str(data.get('name')))
print('displayName=' + str(data.get('displayName')))
print('runtime=' + str(data.get('runtime')))
print('version=' + str(data.get('version')))
print('optimizedFor=' + ','.join(data.get('optimizedFor') or []))
print('pluginManifestUrl=' + str(data.get('pluginManifestUrl')))
print('packageUrl=' + str(data.get('packageUrl')))
PY
