Linux @lemmy.ml learnbyexample @programming.dev 12mo ago GNU awk idioms explained learnbyexample.github.io GNU awk idioms explained