Najprostsze wydawało mi się użycie tr. Aby usunąć z pliku tekstowego Windowsowe znaki końca linii należy wydać polecenie:
tr -d '\15\32' < winfile.txt > unixfile.txt
Teraz wystarczyło tylko zrobić prosty skrypcik:
#!/bin/bash
cp $1 $1.tmp
rm $1
tr -d '\15\32' < $1.tmp > $1
rm $1.tmp
clear
i uruchomić go poleceniem:
./kkl plik.inp
i wszystko gra :-)
Alternatywą jest posłużenie się programem awk.
Konwersja pliku Windows->Linux:
awk '{ sub("\r$", ""); print }' winfile.txt > unixfile.txt
Konwersja pliku Linux->Windows:
awk 'sub("$", "\r")' unixfile.txt > winfile.txt