[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Dateien kopieren zwischen zwei Servern



Hallo!

On Fri, Aug 19, 2005 at 07:07:48PM +0200, Norbert Harz wrote:

> Kann man diff dazu bringen, alle Zeilen die mit # beginnen zu ignorieren?

Das sollte eigentlich mit der Option -I funktionieren, leider klappt
folgendes bei mir nicht:

$ diff -I "^#.*" file1 file2

Vorschläge?

Wolf
-- 
Büroschimpfwort des Tages: Mister Crocodile - auftauchen, Maul aufreißen, 
abtauchen. (Hans-Jürgen Teßnow)



Reply to: