ストリームエディタ
stream editor
sed
https://ja.wikipedia.org/wiki/ストリームエディタ