GNU 3 December 202213 November 2022 by Chris Taylor Updated: 13 November 2022 https://www.gnu.org Scripting GNU Awk user guide sed, a stream editor