[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: |
Gavin Smith |
Subject: |
Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs |
Date: |
Sat, 7 Jan 2023 12:45:55 +0000 |
On Sat, Jan 07, 2023 at 11:28:45AM +0100, Torbjorn SVENSSON wrote:
> I don't think that texi2any should try to be smart and poke the file system
> as the file system that the makeinfo command happens to put the output on
> might not be the final file system and it can have very different
> properties.
>
> Consider the use-case I mentioned before; build on GNU/Linux, but transfer
> the files over to a NTFS/FAT/... based file system. What would be the
> expected behavior here, in your point of view?
> I, as a user of makeinfo, would expect the files names to be unique and that
> this problem should not be forwarded to the tools using makeinfo to generate
> their documentation.
Texinfo is primarily part of the GNU system and therefore working well on
free operating systems in general and the GNU system in particular takes
priority over working well on non-free systems such as Microsoft Windows.
Since the filesystems used on GNU/Linux are case-sensitive and HTML
manuals on the WWW can be accessed with case-sensitive URLs, it may
reduce functionality on GNU/Linux for texi2any always to produce HTML
output suitable for case-insensitive filesystems. This would be contrary
to GNU policy.
Your use case can still be supported but it requires a little more
inconvenience using the CASE_INSENSITIVE_FILENAMES flag.
- [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, 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 <=
- 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
- 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