Tenho 10k + arquivos, totalizando mais de 20GB, que preciso concatenar em um arquivo. Existe uma maneira mais rápida do que cat input_file* >> out ? A maneira preferida seria um comando bash, o Python também é aceitável, se não consideravelmente mais lento.