view master/bin/shrinkJSON.sh @ 33:4c117ee8ed75

fixDates, _fixAndMerge, _doFetch towards rework of date fixup share.sh, old_invoke.sh recover the old approach to sharing, which works
author Henry S. Thompson <ht@markup.co.uk>
date Tue, 20 Nov 2018 14:49:07 +0000
parents bba589cab837
children
line wrap: on
line source

#!/bin/bash
# Shrink json output from worker to remove unnecessary characters
egrep -v '^#' $1| jq  .  |sed 's/^  *//;s/^"\([-0-9A-Za-z]*\)": "\?/\1:/;s/"\?,\?$//'