Sé que "probablemente" puedo solucionarlos usando "flip -u" (cygwin flip) que básicamente elimina uno de los 0xd que dejan el archivo con terminaciones de línea de estilo DOS (0x0d 0x0a) (por supuesto, técnicamente hablando esto podría considerarse un ¡error!).

Pero el otro lado es que me gustaría hacer esto selectivamente, asegurándome de que lo que estoy arreglando realmente sea un archivo "no binario" y EXPLICAMENTE reemplazando la secuencia 0x0d 0x0d 0x0a con 0x0d 0x0a ... no ejecutando un programa con errores que parece hacer lo que quiero (y posiblemente más).

Tenga en cuenta que grep -P '\ x0d \ x0d \ x0a' y grep -P '\ x0d \ x0d' no encuentran estas líneas.

Aunque la gente dice que grep -P 'x0d \ x0a' está buscando correctamente las terminaciones de línea, tendría que suponer que algo más está sucediendo ya que no puede coincidir con los otros patrones en un archivo con terminaciones de línea mixtas (0x0d 0x0d 0x0a )