@ -307,7 +307,6 @@ if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
step=${step#step}
step=${step#0}
# works:
if [[ "$step" -le 0 ]]; then step00; fi
if [[ "$step" -le 1 ]]; then step01; fi
if [[ "$step" -le 2 ]]; then step02; fi