Ich muss den code von etwas über 700 html-dateien ändern. Immer nur eine zeile austauschen und immer dieselbe. Ich will das auf keinen fall von hand machen, datei für datei. Ein batch job wäre schön. In windows (oder vielmehr dos) kein problem, weil ich da ein bisschen was von batch-commandos verstehe. In Linux aber bin ich weitgehend neuling und suche deshalb gerade verzweifelt nach einer lösung.... oder vielleicht auch nach einem kleinen komfortablen programm. Vielleicht weiß ja jemand was. Für einen guten tip wäre ich jedenfalls grenzenlos dankbar.