[PATCH 1/2] configs: properly indent process_configs.sh