Shellskript gesucht: Ausschnitt aus einer Textdatei

[DgaDM]

Hallo Leute,

irgendwie stehe ich gerade auf dem Schlauch. Ich möchte mit aus einer sehr großen Datei (ein SQL-Dump) ein paar Zeilen ausgeben lassen. Das einzige, was mir auf die Schnelle als Behelf eingefallen ist, war das hier:

awk -v zeile=1695 -v bereich=10 '{ if (NR > zeile - bereich && NR < zeile + bereich) print NR ": " $0; }' ../../temp/dbdump_e.sql

Wirkt ziemlich umständlich. Ich bin mir sicher, daß es neben head, tail, cat und cut noch ein Tool für genau diesen Zweck gab, aber mir fällt der Name nicht mehr ein. Oder geht es womöglich mit sed?

 

[Rastafari]

Tausend Wege führen nach Damaskus.

tail -n +"$start" "$datei" | head -n "$anzahl"

[COLOR="#2f4f4f"][I]# oder[/I][/COLOR]

head -n "$ende" "$datei" | tail -n +"$start"

[COLOR="#2f4f4f"][I]# oder[/I][/COLOR]

sed -n ${start},${ende}p "$datei"

[COLOR="#2f4f4f"][I]# oder ... 997 weitere...[/I][/COLOR]

 

[DgaDM]

sed -n ${start},${ende}p "$datei"

Das hatte ich gesucht … und nicht gleich auf der Manpage gefunden. Funktioniert erheblich schneller als mein awk-Hack. Danke für die Erhellung!