remove all lines from a text file starting at first empty line

Question

What is the best way to remove all lines from a text file starting at first empty line in Bash? External tools (awk, sed...) can be used!

Example

1:          


        

Answer 1

With GNU sed:

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