bug-texinfo
[Top][All Lists]
Advanced

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

Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs


From: pertusus
Subject: Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs
Date: Sat, 7 Jan 2023 16:25:37 +0100

On Sat, Jan 07, 2023 at 05:10:39PM +0200, Eli Zaretskii wrote:
> 
> How do you see that there's "a file with the two nodes concatenated".
> What I see is index.html and Node1.html.  The contents of the latter
> is this:

Well, the first Node1.html that was generated had both nodes
concatenated, but it was later overwritten by the redirection file.  Not
easy for you to see on a case-insensitive filesystem, but it can be seen
on a case sensitive system as both files are kept in that case...  So
not so much of an improvement on a case-insensitive filesystem, it is
actually worse, I would say, but on a case sensitive system it can be
seen that there is a step in the good direction...

> 
> <!DOCTYPE html>
> <html>
> <!-- Created by GNU Texinfo 7.0.1, https://www.gnu.org/software/texinfo/ -->
> <head>
> <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
> <title>node1 (top)</title>
> 
> <meta name="description" content="node1 (top)">
> <meta name="keywords" content="node1 (top)">
> <meta name="resource-type" content="document">
> <meta name="distribution" content="global">
> <meta name="Generator" content="makeinfo">
> <meta name="viewport" content="width=device-width,initial-scale=1">
> 
> <link href="index.html" rel="start" title="Top">
> <link href="index.html" rel="up" title="Top">
> <link href="Node1.html" rel="prev" title="Node1">
> 
> 
> </head>
> 
> <body lang="en">
> <div class="chapter-level-extent" id="node1">
> <div class="nav-panel">
> <p>
> Previous: <a href="Node1.html" accesskey="p" rel="prev">chap Node1</a>, Up: 
> <a href="index.html" accesskey="u" rel="up">top</a> &nbsp; </p>
> </div>
> <hr>
> <h2 class="chapter" id="chap1-node1">2 chap1 node1</h2>
> 
> <p>Now the second.
> </p>
> </div>
> 
> 
> 
> </body>
> </html>



reply via email to

[Prev in Thread] Current Thread [Next in Thread]