如何从文本文件中的第一个空行开始删除所有行？

Question

从 Bash 中的第一个空行开始从文本文件中删除所有行的最佳方法是什么？可以使用外部工具（awk、sed...）！

例子

1: ABC
2: DEF
3:
4: GHI

应删除第 3 行和第 4 行，并将剩余内容保存在新文件中。

Answer 1

与GNU sed：

sed '/^$/Q' "input_file.txt" > "output_file.txt"