generate-cmdlist.sh: collect config from all config.txt files