Your ROOT_URL in app.ini is https://source.parasitstudio.de:63000/ but you are visiting https://source.parasitstudio.de/wirtz/MicroDexed/src/commit/bc025445fa8ef67bd4eff472e729a5cb2f5270b6/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
|
|
|
