@[email protected] to [email protected]English • 16 hours agoMe giving advice about text editorslemmy.worldmessage-square105fedilinkarrow-up1657
arrow-up1657imageMe giving advice about text editorslemmy.world@[email protected] to [email protected]English • 16 hours agomessage-square105fedilink
But how do you write your awk script?
cat > filename << END
of course.