# delete the first 10 lines of a file
# sed '1,10d'
Erste Anlaufstelle ist dann hier. Wird es ein wenig komplizierter, lohnt ein Blick auf seder's grab bag. Die Welt wär ärmer ohne sed, awk, grep ...
Gedanken über das wahre Leben :-)
# delete the first 10 lines of a file
# sed '1,10d'
Keine Kommentare:
Kommentar veröffentlichen