More
author |
Steve Losh <steve@stevelosh.com> |
date |
Sun, 18 Jun 2023 12:01:14 -0400 |
parents |
c106ae0760f8 |
children |
(none) |
#!/usr/bin/env python3
import sys
def next_line():
l = sys.stdin.readline()
if not l:
sys.exit(0)
return l
# Skip headers
l = next_line()
while l.strip():
sys.stdout.write(l)
l = next_line()
# One blank line in between headers and the start of the message
while not l.strip():
l = next_line()
sys.stdout.write('\n')
sys.stdout.write(l)
# Dump the rest straight through
for l in sys.stdin.readlines():
sys.stdout.write(l)