What’s in our toolbox?

There are newer tools too.

• git - a distributed version control system
• jq is a JSON filter and pretty printer
• mkpage - easily assemble webpages from simple templates