Publish script: generate the file for arduinojson.org

2021-07-19 09:58:01 +02:00
parent f02a699c26
commit 09ddb0f824
2 changed files with 22 additions and 1 deletions
--- a/extras/scripts/get-release-page.sh
+++ b/extras/scripts/get-release-page.sh
@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -eu
+
+TAG="$1"
+CHANGELOG="$2"
+FRONTMATTER="$3"
+
+cat << END
+---
+branch: v6
+version: $TAG
+date: '$(date +'%Y-%m-%d')'
+$(cat "$FRONTMATTER")
+---
+
+$(awk '/\* /{ FOUND=1; print; next } { if (FOUND) exit}' "$CHANGELOG")
+END