[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: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs |
Date: |
Sat, 07 Jan 2023 15:37:21 +0200 |
> 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 ?
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?
- 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, 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, 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 <=
- 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
- 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