nobody
2ab1c31993
When appending to a compressed archive (gzip, brotli, zstd), the tool now handles compression automatically. Since some compression formats don't support appending to compressed files in place, we write a new compressed file with all the data and atomically rename it to replace the original (assuming there is enough space on that filesystem). This means you can work with compressed archives the same way as uncompressed ones. Point the tool at your .json.gz file and append values. No manual decompression/recompression needed.
17 lines
399 B
Text
17 lines
399 B
Text
#!/usr/bin/env bash
|
|
|
|
case $1 in
|
|
copyright)
|
|
addlicense -c "Peoples Grocers LLC" -f LICENSE-header -l "agpl-3.0" -s src/ >&2
|
|
;;
|
|
|
|
docs/diagnostics/json-pointer.md)
|
|
redo-ifchange src/bin/pointer_errors_demo.rs src/pointer.rs src/pointer_errors.rs
|
|
cargo run --quiet --bin pointer_errors_demo
|
|
;;
|
|
|
|
gen)
|
|
redo docs/diagnostics/json-pointer.md
|
|
;;
|
|
|
|
esac
|