2021-10-22 17:29:47 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
dest=${1-config/defaults.hjson}
|
|
|
|
|
|
|
|
|
|
cargo run -- --print-config-docs > "$dest"
|
|
|
|
|
# replace // comments with #
|
2022-01-06 19:10:20 +00:00
|
|
|
sed -i "s/^\([[:space:]]*\)\/\//\1#/" "$dest"
|
2021-10-22 17:29:47 +00:00
|
|
|
# remove trailing commas
|
|
|
|
|
sed -i "s/,\$//" "$dest"
|
|
|
|
|
# remove quotes around json keys
|
|
|
|
|
sed -i "s/\"//" "$dest"
|
|
|
|
|
sed -i "s/\"//" "$dest"
|
