On 2019-06-10 7:53 a.m., Roman Perepelitsa wrote:
In my case I didn't want the bother of having to learn the idiosyncrasies of two shells. I picked one and was hoping to never have to learn the other. If I was planning to transition from bash to zsh, I'd be hoping to subsequently avoid bash altogether and thus go through the conversion trouble once but then forget about bash and do all further work in zsh. So space considerations would be the least of my motives. Just me, but zsh syntax is so abstruse that not only learning it, but also trying to remember the differences vis a vis bash, would seem brain blowing.automatic translation of bash code to zsh. It's likely that your requirements are unique. Usually systems that can afford to have zsh can also afford to have bash, so no translation is necessary.
So it seems David will have to do it line by line.