goofy program: fold-headers

fold-headers.py

#!/usr/bin/env python
import fileinput
import re

in_headers = True
header_start = re.compile(r"[-A-Za-z0-9]+:\s")

for line in fileinput.input():
    if line.isspace():
        in_headers = False

    if not in_headers or header_start.match(line):
        print(line, end="")
    else:
        print("    " + line, end="")