Ich habe mehr als 10k-Dateien mit insgesamt über 20 GB, die ich zu einer Datei verketten muss. Gibt es einen schnelleren Weg als cat input_file* >> out ? Der bevorzugte Weg wäre ein Bash-Befehl, Python ist auch akzeptabel, wenn nicht wesentlich langsamer.