Hallo,
grep -RP '^input:\t' | cut -b 10- | gzip -c | ssh user@hostname "gzip -dc > /tmp/test.txt"
Beachte bitte, dass Du die Kompression nicht brauchst, wenn SSH auf Deinem Device und auf dem Server die Kompression beherrschen und diese konfiguriert ist.
und auch nicht, wenn die Übertragungsbandbreite "billig" im Vergleich zum Speicherbedarf oder zur Rechenleistung ist (was ich bei einem Embedded Device vermuten würde, wenn es nicht gerade via GSM kommuniziert).
Ciao,
Martin
--
Computer müssen weiblich sein: Eigensinnig, schwer zu durchschauen, immer für Überraschungen gut - aber man möchte sie nicht missen.
Computer müssen weiblich sein: Eigensinnig, schwer zu durchschauen, immer für Überraschungen gut - aber man möchte sie nicht missen.