mirror of
https://github.com/mfontanini/presenterm.git
synced 2025-05-05 15:32:58 +00:00
19 lines
433 B
Bash
Executable File
19 lines
433 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -euo pipefail
|
|
|
|
script_dir=$(dirname "$0")
|
|
root_dir="${script_dir}/../"
|
|
|
|
current_schema=$(mktemp)
|
|
cargo run --features json-schema -q -- --generate-config-file-schema >"$current_schema"
|
|
|
|
diff=$(diff --color=always -u "${root_dir}/config-file-schema.json" "$current_schema")
|
|
if [ $? -ne 0 ]; then
|
|
echo "Config file JSON schema differs:"
|
|
echo "$diff"
|
|
exit 1
|
|
else
|
|
echo "Config file JSON schema is up to date"
|
|
fi
|