ArduinoJson/extras/scripts/get-release-page.sh

#!/bin/bash

set -eu

VERSION="$1"
CHANGELOG="$2"
ARDUINOJSON_H="$3"

cat << END
---
branch: v7
version: $VERSION
date: '$(date +'%Y-%m-%d')'
$(extras/scripts/wandbox/publish.sh "$ARDUINOJSON_H")
---

$(awk '/\* /{ FOUND=1; print; next } { if (FOUND) exit}' "$CHANGELOG")
END
Publish script: generate the file for arduinojson.org 2021-07-19 09:58:01 +02:00			`#!/bin/bash`

			`set -eu`

Publish script: fixed frontmatter for arduinojson.org 2021-07-19 10:19:04 +02:00			`VERSION="$1"`
Publish script: generate the file for arduinojson.org 2021-07-19 09:58:01 +02:00			`CHANGELOG="$2"`
Scripts: call `wandbox/publish.sh` from `get-release-page.sh` Ported from 371fa4667e5a0d2ad7c44d5aa9e4dae2cc22edd8 2023-07-23 18:08:54 +02:00			`ARDUINOJSON_H="$3"`
Publish script: generate the file for arduinojson.org 2021-07-19 09:58:01 +02:00
			`cat << END`
			`---`
Update URLs to point to `https://arduinojson.org/v7/` 2023-08-19 16:08:12 +02:00			`branch: v7`
Publish script: fixed frontmatter for arduinojson.org 2021-07-19 10:19:04 +02:00			`version: $VERSION`
Publish script: generate the file for arduinojson.org 2021-07-19 09:58:01 +02:00			`date: '$(date +'%Y-%m-%d')'`
Scripts: call `wandbox/publish.sh` from `get-release-page.sh` Ported from 371fa4667e5a0d2ad7c44d5aa9e4dae2cc22edd8 2023-07-23 18:08:54 +02:00			`$(extras/scripts/wandbox/publish.sh "$ARDUINOJSON_H")`
Publish script: generate the file for arduinojson.org 2021-07-19 09:58:01 +02:00			`---`

			`$(awk '/\* /{ FOUND=1; print; next } { if (FOUND) exit}' "$CHANGELOG")`
			`END`