[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 15:41:36 +0100 |
On Sat, Jan 07, 2023 at 03:37:21PM +0200, Eli Zaretskii wrote:
> > From: Gavin Smith <gavinsmith0123@gmail.com>
> > Date: Sat, 7 Jan 2023 12:29:33 +0000
> > Cc: pertusus@free.fr, torbjorn.svensson@foss.st.com, bug-texinfo@gnu.org
> >
> > On Sat, Jan 07, 2023 at 01:06:41PM +0200, Eli Zaretskii wrote:
> > > How do you "set" the CASE_INSENSITIVE_FILENAMES from the command line?
> > > It looks like the Texinfo manual says VAR=VALUE, but what VALUE should
> > > be used in this case? And what will that do in terms of the output
> > > produced for the simple source you posted?
> >
> > "texi2any -c CASE_INSENSITIVE_FILENAMES=1" I assume.
>
> Doesn't makeinfo also accept -c ?
Yes, texi2any and makeinfo are the same command.
> Anyway, the above doesn't seem to fix the problem, or what am I
> missing? What do you see on your system if you invoke the above
> command with the source which Patrice posted?
Indeed, it is an improvement, but does not fix the issue, because of the
bug Torbjörn reported. There is indeed a file with the two nodes
concatenated, but also a redirection file with the same name...
This issue of redirection files really needs fixing...
--
Pat
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, (continued)
- 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, 2023/01/07
- 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 <=
- 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
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/07
- 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, Patrice Dumas, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjorn SVENSSON, 2023/01/09
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/09
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/09