Ich denke, jeder kennt die nützlichen Linux cmd-Dienstprogramme headund tail. headErmöglicht das Drucken der ersten X-Zeilen einer Datei, tailmacht dasselbe, druckt jedoch das Ende der Datei. Was ist ein guter Befehl, um die Mitte einer Datei zu drucken? so etwas wie middle --start 10000000 --count...