awkを使用してファイルから最初のエントリを削除するにはどうすればよいですか?

awkを使用してファイルから最初のエントリを削除するにはどうすればよいですか?

複数行のファイルがある場合

...
  end
...
  end
...
  end
...

最初のインスタンスのみを削除するにはどうすればよいですか?

これまで私は試しました

 awk 'BEGIN {found=false} /  end/ { d; found=true} else {print}'

 awk 'BEGIN {found=false} {/  end/ {found=true} else {print}}'

開始/推測ですが、明らかに間違っています。

答え1

最初の一致を追跡するには、変数を使用してください。

awk -v first=1 'first && /  end/ {first=0;next};1' <file

関連情報