Hi Antonio,

Alright then, forget what I said. And thanks for telling of the
difference between "cat script | ed file" and "ed file < script"!

Best of love,
-- 
Artyom Bologov
https://aartaka.me

Reply via email to