#! /bin/sh exec >${1:?} shift echo $* cat -