Hallo Zusammen,
hier eine wahrscheinlich einfache Aufgabe, meine skripting Fähigkeiten sind aber nicht die bessten.

Ich habe viele Dateien (100-10k), mit je 1kB-100MB, die alle in einem Ordner liegen und ich zusammen fügen möchte.
Es sollen von allen Dateien die ersten 4 Zeilen und die letzte Zeile entfernt werden, dann alle Zusammengefügt (Reihenfolge ist egal) und bei der Zusammengefügten Datei die ersten 4 und letzte Zeile wieder ergänt werden.

Das löschen und zusammenfügen klappt (wenn auch nicht effizient), nur den Kopf (ersten 4 Zeilen) und den Fuss (letzte Zeile) bekomme ich nicht hin:
Code:
#!/bin/bash

# Kopfzeile in Datei ...
find * -name "*.gml" -print0 | while read -d $'\0' f
do
	tail -n+4 $f > $f.tmp
	sed '$ d' $f.tmp > $f.tmp2
	cat $f.tmp2 >> alle.gml
	rm $f.tmp $f.tmp2
	# head='tail -2 $f'
done
# echo "$head" >> alle.gml # Fusszeile in Datei
OS Ist Ubuntu, falls relevant.

Ich bin dankbar für jede hilfe