Eu tenho um grande arquivo de texto simples (por número de linhas) que gostaria de dividir em arquivos menores, também por número de linhas. Portanto, se meu arquivo tiver cerca de 2 milhões de linhas, gostaria de dividi-lo em 10 arquivos que contêm 200k linhas ou 100 arquivos que contêm 20k linhas (mais um arquivo com o restante; ser igualmente divisível não importa).
Eu poderia fazer isso facilmente no Python, mas gostaria de saber se existe algum tipo de maneira ninja de fazer isso usando utilitários bash e unix (em oposição a loop manual e linhas de contagem / particionamento).
cat part* > original