Re: [PATCH 0/2] Correctly terminate the loop in configs/process_configs.sh