#!/bin/bash mkdir -p $(dirname "$2") sed \ -e's/ deferrable="[a-z]*" initiallyDeferred="[a-z]*"//' \ -e's/ type="INET"/ type="VARCHAR(19)"/' \ -e'/generated.69/,+5d' \ <"$1" >"$2" # -e'/changeset.* id="generated-69"/,+5d' \