Thanks! I do this but go in and remove the echo. For some reason I hadn’t though...

da39a3ee on April 13, 2022 | parent | context | favorite | on: New(ish) command line tools

Thanks! I do this but go in and remove the echo. For some reason I hadn’t thought to pipe to a shell interpreter.