4 ms·
Useless use of cat though. You could achieve the same thing by: % ed -s filename <<- EOF ed commands... EOF
by eriknstr 10y ago
Useless use of cat though. You could achieve the same thing by:
% ed -s filename <<- EOF
ed commands...
EOF