[linux] Snapt iemand hoe dit kan?

[joop gerritse]

diff -rs --ignore-file-name-case /mnt/dvd/belasting/ /mnt/hd/dose/belasting/
Only in /mnt/dvd/belasting/: 07936537.PAS
Only in /mnt/hd/dose/belasting/: 07936537.pas
Only in /mnt/dvd/belasting/: 17745889.PAS
Only in /mnt/hd/dose/belasting/: 17745889.pas
Only in /mnt/dvd/belasting/ca2006: 07936537.CAD
Only in /mnt/hd/dose/belasting/ca2006: 07936537.cad
Only in /mnt/dvd/belasting/ca2006: 07936537.DAT
Only in /mnt/hd/dose/belasting/ca2006: 07936537.dat
Only in /mnt/dvd/belasting/ca2006: 07936537.LOG
Only in /mnt/hd/dose/belasting/ca2006: 07936537.log
Files /mnt/dvd/belasting/ca2006/ca2006.dat 
and /mnt/hd/dose/belasting/ca2006/ca2006.dat are identical
Only in /mnt/dvd/belasting/ib2005: 07936537.IBD
Only in /mnt/hd/dose/belasting/ib2005: 07936537.ibd
Files /mnt/dvd/belasting/ib2005/ib2005.dat 
and /mnt/hd/dose/belasting/ib2005/ib2005.dat are identical

Wat betekent --ignore-file-name-case dan wel???