Linux @programming.dev cm0002 @lemmy.world 2y ago GNU awk idioms explained learnbyexample.github.io GNU awk idioms explained