Say I have several file with the following naming:000001000002000003...Each of these files is a csv file (may include escape characters). In total the folder has ~20GB of data. How can I stitch these files together into a single final file?In case it matters I usually use Zsh.
Joining files on disk
files;text processing;zsh
setopt extendedglobcat <->.csv > all.csvWhere <-> matches any positive integer decimal number, will concatenate all those (in lexical order, which for 0 padded numbers is the same as numerical order) into all.csv.That will double the space on disk though. If you don't intend to keep the original files, you could do:for i in <->.csv; do  cat $i && rm -f $i || breakdone > all.csv