#!/bin/sh set -eu header="$1" sed -e "/^$header:/ !d; s/\r//"