On 1/7/23 17:29, Pavel Sanda wrote: > On Sat, Jan 07, 2023 at 01:11:46PM -0500, Richard Kimberly Heck wrote: >> Anyone else have thoughts about this? > In principle should be fine (and more portable). I've changed the Mac scripts in stable. Should we do this for the python scripts, too? E.g., replace #!/usr/bin/python3 with #!/usr/bin/env python3 ?? Riki