Your ROOT_URL in app.ini is https://source.parasitstudio.de:63000/ but you are visiting https://source.parasitstudio.de/wirtz/MicroDexed/src/commit/ee10414a03695a354dc8cd1dafff2081a9a9f704/third-party/ArduinoJson/extras/scripts/build-arduino-package.sh
You should set ROOT_URL correctly, otherwise the web may not work correctly.
|
#!/bin/bash
|
|
|
|
set -eu
|
|
|
|
INPUT=$1
|
|
OUTPUT=$2
|
|
|
|
cd "$INPUT"
|
|
|
|
# remove existing file
|
|
rm -f "$OUTPUT"
|
|
|
|
# create zip
|
|
7z a "$OUTPUT" \
|
|
-xr!.vs \
|
|
CHANGELOG.md \
|
|
examples \
|
|
src \
|
|
keywords.txt \
|
|
library.properties \
|
|
LICENSE.md \
|
|
README.md \
|
|
ArduinoJson.h
|
|
|