Quick tips are random posts regarding something I discovered on my way to something bigger. They usually get longer than “quick” would imply, for which I refuse to apologize.
This is a companion discussion topic for the original entry at https://brettterpstra.com/2019/08/29/shell-tricks-a-random-selection