<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">On 2/22/23 8:06 AM, Archie Cobbs wrote:<br>
</div>
<blockquote type="cite" cite="mid:CANSoFxuM4X-E0Er8b4hSWwwg8asBRmSGmab9+sUQPXmuh2C70A@mail.gmail.com"><br>
<div>Survey question: What do you think should be done about this
case-insensitive filesystem problem?</div>
<div>
<ol>
<li>Nothing. Resolve all such bugs "Not an Issue" with the
comment "Go away! Case-insensitive filesystems are not
supported!"<br>
</li>
<li>Add a new option <span style="font-family:monospace">-Xlint:fileclash</span>
that enables checking for clashes (e.g., at the <span style="font-family:monospace">JavacFileSystemManager</span>
layer).</li>
</ol>
</div>
</blockquote>
<p>That would likely either be a partial solution, or an expensive
one for a complete solution when taking separate compilation into
account.<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CANSoFxuM4X-E0Er8b4hSWwwg8asBRmSGmab9+sUQPXmuh2C70A@mail.gmail.com">
<div>
<ol>
<li>Same as #2 but instead of requiring a lint flag, test the
filesystem at startup and proactively enable the warning
only if case-insensitive</li>
</ol>
</div>
</blockquote>
<p>I seem to recall that on some systems, it can be a property of
the directory, not just the file system.<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CANSoFxuM4X-E0Er8b4hSWwwg8asBRmSGmab9+sUQPXmuh2C70A@mail.gmail.com">
<div>
<ol>
<li>Add new compiler flags <span style="font-family:monospace">-dzip</span>, <span style="font-family:monospace">-szip</span>, <span style="font-family:monospace">-hzip</span> (corresponding
to <span style="font-family:monospace">-d</span>, <span style="font-family:monospace">-s</span>, <span style="font-family:monospace">-h</span>) that specify ZIP
files for output instead of directories</li>
</ol>
</div>
</blockquote>
<p>I would recommend using the existing options, and just allow
those options to specify a zip file, and then open the file with
`zipfs`. That being said, updating zip files by "overwriting"
existing entries comes with its own set of problems.<br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:CANSoFxuM4X-E0Er8b4hSWwwg8asBRmSGmab9+sUQPXmuh2C70A@mail.gmail.com">
<div>
<ol>
<li>Your other clever idea...</li>
</ol>
</div>
</blockquote>
</body>
</html>