pushd not found

[ShaulAb]

Thank you very much for this!
I'm using zsh as default and I think that's what causing the command ./control.sh setup to fail.
Example:

My solution was to add a shebang (#!/bin/bash) to control.sh and it worked.

[fresh2dev]

Thanks for sharing your experience. I added the shebang to the setup files in the latest commit.