To może Ci pomóc:
cut -d' ' -f5 file | paste -d',' -s
+12.0,+15.5,+9.0,+13.5
lub
sed '/^.*\(+[^ ]*\).*/{s//\1/;H};${x;s/\n/,/g;s/.//p};d' file
+12.0,+15.5,+9.0,+13.5
lub
sed 's/\S\+\s\+//;s/\s.*//;H;$!d;x;s/.//;s/\n/,/g' file
Dla każdego wiersza w pliku; odetnij pierwsze pole i następne spacje, odetnij pozostałą część linii po drugim polu i dołącz do przestrzeni ładunkowej. Usuń wszystkie linie z wyjątkiem ostatniej, w której zamieniamy się w miejsce przechowywania i po usunięciu wprowadzonego znaku nowej linii na początku, przekonwertuj wszystkie nowe wiersze na ,.
NB Można napisać:
sed 's/\S\+\s\+//;s/\s.*//;1h;1!H;$!d;x;s/\n/,/g' file
listOfStuff mkString ", "lub Haskellaintercalate ", " listOfString