Shell：在第一个空行之前获取所有行的简单方法

在遇到第一个空行之前,输出文件行的最佳 shell命令是什么？例如：

output these
lines

but do not output anything after the above blank line
(or the blank line itself)

AWK？别的什么？

sed -e '/^$/,$d' <<EOF
this is text
so is this

but not this
or this
EOF