* bug#32519: elisp manual filename conflict
@ 2018-08-24 15:26 Nir Nagid
2018-08-24 17:34 ` Glenn Morris
0 siblings, 1 reply; 6+ messages in thread
From: Nir Nagid @ 2018-08-24 15:26 UTC (permalink / raw
To: 32519
[-- Attachment #1: Type: text/plain, Size: 253 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 379 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#32519: elisp manual filename conflict
2018-08-24 15:26 bug#32519: elisp manual filename conflict Nir Nagid
@ 2018-08-24 17:34 ` Glenn Morris
2018-08-25 7:23 ` Nir Nagid
0 siblings, 1 reply; 6+ messages in thread
From: Glenn Morris @ 2018-08-24 17:34 UTC (permalink / raw
To: Nir Nagid; +Cc: 32519
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).
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#32519: elisp manual filename conflict
2018-08-24 17:34 ` Glenn Morris
@ 2018-08-25 7:23 ` Nir Nagid
2018-08-28 5:51 ` Eli Zaretskii
` (2 more replies)
0 siblings, 3 replies; 6+ messages in thread
From: Nir Nagid @ 2018-08-25 7:23 UTC (permalink / raw
To: rgm, 32519
[-- Attachment #1: Type: text/plain, Size: 1204 bytes --]
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@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).
>
[-- Attachment #2: Type: text/html, Size: 1609 bytes --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#32519: elisp manual filename conflict
2018-08-25 7:23 ` Nir Nagid
@ 2018-08-28 5:51 ` Eli Zaretskii
2018-08-28 15:34 ` Glenn Morris
2018-08-28 21:24 ` Richard Stallman
2 siblings, 0 replies; 6+ messages in thread
From: Eli Zaretskii @ 2018-08-28 5:51 UTC (permalink / raw
To: Nir Nagid; +Cc: 32519
> Bcc: rgm@gnu.org
> Date: Sat, 25 Aug 2018 10:23:22 +0300
> From: Nir Nagid <sailor.nir@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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#32519: elisp manual filename conflict
2018-08-25 7:23 ` Nir Nagid
2018-08-28 5:51 ` Eli Zaretskii
@ 2018-08-28 15:34 ` Glenn Morris
2018-08-28 21:24 ` Richard Stallman
2 siblings, 0 replies; 6+ messages in thread
From: Glenn Morris @ 2018-08-28 15:34 UTC (permalink / raw
To: Nir Nagid; +Cc: 32519
(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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* bug#32519: elisp manual filename conflict
2018-08-25 7:23 ` Nir Nagid
2018-08-28 5:51 ` Eli Zaretskii
2018-08-28 15:34 ` Glenn Morris
@ 2018-08-28 21:24 ` Richard Stallman
2 siblings, 0 replies; 6+ messages in thread
From: Richard Stallman @ 2018-08-28 21:24 UTC (permalink / raw
To: Nir Nagid; +Cc: 32519
[[[ 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)
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2018-08-28 21:24 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-08-24 15:26 bug#32519: elisp manual filename conflict Nir Nagid
2018-08-24 17:34 ` Glenn Morris
2018-08-25 7:23 ` Nir Nagid
2018-08-28 5:51 ` Eli Zaretskii
2018-08-28 15:34 ` Glenn Morris
2018-08-28 21:24 ` Richard Stallman
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.