Convert bash to POSIX sh, polish things#6

Open

rgcv wants to merge 3 commits intosteadfasterX:masterfrom rgcv:bash-to-sh+polishes

+205-115

Commits on Nov 9, 2022

Convert bash to POSIX sh, polish things
rgcv
committed

Commits on Nov 10, 2022