What! I didn’t know awk could do that within single quotes. The heck, it implements a subset of sh?

Thanks!