Функции перетаскивания/копирования редактора Kate/Kwrite исчезли

С помощью grep это можно сделать довольно просто:

grep -E "(type=|set_to_)" file.txt | grep -A 1 "type=m" | grep -B 1 "set_to_TRUE" > file1.txt &

Поставь на задний план, выпей кофе и дай закончить. Не уверен, что «awk» или «sed» будут быстрее. 6гб много только для текста, поэтому как ни пытайся, это займет много времени.

Вы все равно увидите, когда он будет завершен, в консоли, как только вы нажмете Enter или введете другую команду как:

[1]+  Done                    grep --color=auto -E '(type=|set_to_)' file.txt | grep --color=auto -A 1 "type=m" | grep --color=auto -B 1 "set_to_TRUE" > file1.txt