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