equal
deleted
inserted
replaced
19 checkfilename(f) |
19 checkfilename(f) |
20 if showportabilityalert(ui): |
20 if showportabilityalert(ui): |
21 msg = util.checkwinfilename(f) |
21 msg = util.checkwinfilename(f) |
22 if msg: |
22 if msg: |
23 portabilityalert(ui, "%s: %r" % (msg, f)) |
23 portabilityalert(ui, "%s: %r" % (msg, f)) |
|
24 |
|
25 def checkcasecollision(ui, f, files): |
|
26 if f.lower() in files and files[f.lower()] != f: |
|
27 portabilityalert(ui, _('possible case-folding collision for %s') % f) |
|
28 files[f.lower()] = f |
24 |
29 |
25 def checkportabilityalert(ui): |
30 def checkportabilityalert(ui): |
26 '''check if the user's config requests nothing, a warning, or abort for |
31 '''check if the user's config requests nothing, a warning, or abort for |
27 non-portable filenames''' |
32 non-portable filenames''' |
28 val = ui.config('ui', 'portablefilenames', 'warn') |
33 val = ui.config('ui', 'portablefilenames', 'warn') |