[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 11:21:29 +0100 |
On Sat, Jan 07, 2023 at 11:54:03AM +0200, Eli Zaretskii wrote:
> > Date: Sat, 7 Jan 2023 10:38:57 +0100
> > From: pertusus@free.fr
> > Cc: Gavin Smith <gavinsmith0123@gmail.com>, torbjorn.svensson@foss.st.com,
> > bug-texinfo@gnu.org
> >
> > No, what I would like to know is whether nodes are concatenated when
> > split, or there is only one node in the output.
>
> Only one node is in the output, AFAICT. I attach an archive of the
> directory created by the command "makeinfo --html split-test.texi",
> where split-test.texi is the text you sent with the two lines
>
> \input texinfo @c -*-texinfo-*-
>
> @setfilename split-test.info
>
> prepended.
Unfortunate, but expected. And, as expected the file content
corresponds to the second node, as it is the last file written according
to the code. With the current code, at least it should not be possible
to have garbled files as Akim described in 2006, but this is not so good
either.
Any idea on what could be done? My only idea would be, if there file
names that differ only by case to be output, before doing the actual
output do a runtime test to test if the filesystem is case-insensitive,
and if so set CASE_INSENSITIVE_FILENAMES if CASE_INSENSITIVE_FILENAMES
is undef (would be the default). It would penalize all the runs,
though.
The other option is to change the documentation, tell the users that
texi2any do not try to know if the filesystem is case insensitive and
that if CASE_INSENSITIVE_FILENAMES is not set the files will get
overwritten.
--
Pat
- [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjörn SVENSSON, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs,
pertusus <=
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjorn SVENSSON, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjorn SVENSSON, 2023/01/07