GNU bug report logs - #32519
elisp manual filename conflict

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 32519 in the body.
You can then email your comments to 32519 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Nir Nagid <sailor.nir <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: elisp manual filename conflict
Date: Fri, 24 Aug 2018 18:26:39 +0300

[Message part 1 (text/plain, inline)]

Hi, just downloaded the "html-compressed" version of elisp manual. Trying
to extract got a filename conflict - the "main" html index and the
"document" index are both named "index" (in different case) and my zip app
(7-zip) doesn't like it :(

Tnx,
Nir

[Message part 2 (text/html, inline)]

Message #8 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Nir Nagid <sailor.nir <at> gmail.com>
Cc: 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Fri, 24 Aug 2018 13:34:45 -0400

Nir Nagid wrote:

> Hi, just downloaded the "html-compressed" version of elisp manual. Trying
> to extract got a filename conflict - the "main" html index and the
> "document" index are both named "index" (in different case) and my zip app
> (7-zip) doesn't like it :(

I assume this is on MS Windows? Apparently, it can optionally do
case-sensitive directories since Windows 10 of April 2018, so maybe look
into that.

Apparently there is a makeinfo html output option controlled by
CASE_INSENSITIVE_FILENAMES that could be turned on to handle this, but
it sounds like it would make things worse for case sensitive systems (by
having two pages in the same file but separated by anchors). And I'm not
sure what version of texinfo added it (it doesn't seem to be in 4.13).

Message #11 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Nir Nagid <sailor.nir <at> gmail.com>
To: rgm <at> gnu.org, 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Sat, 25 Aug 2018 10:23:22 +0300

[Message part 1 (text/plain, inline)]

Ah, yes, of course, I should've mentioned - Win7. I supposed there are
workarounds, but it's somewhat of an overkill to mess with settings for my
whole system to fix this one issue, isn't it? I thought they should
consider making the filenames case-insensitively unique, or I'll just
modify one of the filenames locally.
Tnx anyway.

On Fri, 24 Aug 2018 at 20:34, Glenn Morris <rgm <at> gnu.org> wrote:

> Nir Nagid wrote:
>
> > Hi, just downloaded the "html-compressed" version of elisp manual. Trying
> > to extract got a filename conflict - the "main" html index and the
> > "document" index are both named "index" (in different case) and my zip
> app
> > (7-zip) doesn't like it :(
>
> I assume this is on MS Windows? Apparently, it can optionally do
> case-sensitive directories since Windows 10 of April 2018, so maybe look
> into that.
>
> Apparently there is a makeinfo html output option controlled by
> CASE_INSENSITIVE_FILENAMES that could be turned on to handle this, but
> it sounds like it would make things worse for case sensitive systems (by
> having two pages in the same file but separated by anchors). And I'm not
> sure what version of texinfo added it (it doesn't seem to be in 4.13).
>

[Message part 2 (text/html, inline)]

Message #14 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Nir Nagid <sailor.nir <at> gmail.com>
Cc: rgm <at> gnu.org, 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Tue, 28 Aug 2018 08:51:53 +0300

> Bcc: rgm <at> gnu.org
> Date: Sat, 25 Aug 2018 10:23:22 +0300
> From: Nir Nagid <sailor.nir <at> gmail.com>
> 
> Ah, yes, of course, I should've mentioned - Win7. I supposed there are workarounds, but it's somewhat of an
> overkill to mess with settings for my whole system to fix this one issue, isn't it? I thought they should consider
> making the filenames case-insensitively unique, or I'll just modify one of the filenames locally.

For the record: at some point in the past, Texinfo behaved as you
wish.  I added code to makeinfo to do that, with the-then maintainer's
encouragement.  Then the code to do that was removed when makeinfo was
rewritten in Perl.  So now you will have to edit the files to rewrite
manually some of the links, because making your filesystem
case-sensitive on Windows is definitely something I would only
recommend to someone who is looking for some "interesting" time to
have.

Message #17 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Nir Nagid <sailor.nir <at> gmail.com>
Cc: 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Tue, 28 Aug 2018 11:34:31 -0400

(Please reply to all)

Nir Nagid wrote:

> Ah, yes, of course, I should've mentioned - Win7. I supposed there are
> workarounds, but it's somewhat of an overkill to mess with settings for my
> whole system to fix this one issue, isn't it?

The Windows 10 feature I mentioned can apparently be controlled on a
per-folder basis; see eg

https://www.windowscentral.com/how-enable-ntfs-treat-folders-case-sensitive-windows-10

Obviously it doesn't help you stuck on Windows 7.

> I thought they should consider making the filenames case-insensitively
> unique,

They is me, as in I uploaded that tar file. As I explained in my
original reply, while it can be changed, personally I'm not inclined to
bother.

> or I'll just modify one of the filenames locally.

Great, I'll close this as wontfix on the Emacs side then.

Message #24 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Richard Stallman <rms <at> gnu.org>
To: Nir Nagid <sailor.nir <at> gmail.com>
Cc: rgm <at> gnu.org, 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Tue, 28 Aug 2018 17:24:16 -0400

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

  > Ah, yes, of course, I should've mentioned - Win7.

It's a side issue, but would you please avoid calling
Windows a "win"?  It is a term of praise.

-- 
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.