[linux] Re: Snapt iemand hoe dit kan?

[Paul Slootman]

On Sat 04 Aug 2007, joop gerritse wrote:

> > > diff -rs --ignore-file-name-case /mnt/dvd/belasting/
> > > /mnt/hd/dose/belasting/
> >
> > Zou het kunnen zijn dat de directory /mnt/dvd/belasting/ een gemounte
> > UDF/ISO9960 DVD/CD-ROM is , en dat /mnt/hd/dose/belasting/ gewoon
> > een EXT3 partitie is?
> 
> Bijna goed: /mnt/hd/ is een VFAT filesystem. 

Ik had wel een strace willen zien van het vergelijken van 2 files;
het zou kunnen dat ie in de war raakt doordat dezelfde file met en
zonder hoofdletters te vinden is op VFAT... dwz., als er ABC.txt is,
dat ie die dan gewoon kan openen (en diffen met de andere ABC.txt), maar
als ie een listing opvraagt, een abc.txt ziet (en dan aanneemt dat dat
dus een andere file is dan de ABC.txt die al gezien is).

Diff maakt dan geen onderscheid tussen hoofd- en kleine letters in de
filenaam, maar helaas doet de OS dat dan ook niet, waardoor dubbele
files "ontdekt" worden. Ofzo :-)


Paul Slootman