次の形式の行を含む巨大なテキスト ファイルがあります。
var1 val1 var2 val2 var3 val3
.
.
.
var1 val1' var2 val2' var3 val3'
.
.
.
var1 val1'' var2 val2'' var3 val3''
var3 の値を特定の数値 (たとえば 1000 ) と比較して、テキスト ファイルを最初から val3=1000 の行まで保持し、残りの行 (その特定の行から最後まで) を削除するにはどうすればよいですか? sed、awk、または tail コマンドはありますか?