Sebastian Inacker schrieb:
Also mit dem schon angesprochenem awk ginge das (als Einzeiler) z.B. so:
echo "08062004 1811" | awk '{year=substr($1, 5, 4); \
month=substr($1, 3, 2); day=substr($1, 1, 2); time=$2; \
print year month day "-" time}'
[...]
Tschuess,
Sebastian
Vielen Dank, es scheint da ja *sehr* viele Möglichkeiten zu geben. Gruß Heiner