Dividir un fichero grande en varios más pequeños
Tengo entre manos un volcado de base de datos de más de 1 giga de tamaño. Algo que ni el BBEdit es capaz de tragarse con muchos otros programas abiertos. Desde Terminal, haciendo un cat y sabiendo lo que buscas puedes ir a la línea que necesitas muy rápidamente: $ cat fichero.sql | grep cadena_a_buscar Y las líneas con la … Leer más