[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master ec9523a: Add a keybinding to the help menu to display manuals
From: |
Stephen Berman |
Subject: |
Re: master ec9523a: Add a keybinding to the help menu to display manuals |
Date: |
Thu, 15 Oct 2020 09:34:03 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On Thu, 15 Oct 2020 09:00:12 +0200 Lars Ingebrigtsen <larsi@gnus.org> wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
>>> files under info/ end in ".info". Are there known cases of
>>> extensionless info files that do not correspond to a file ending in
>>> ".info" or ".info.gz" (or another compression suffix)? If not, then
>>> removing that bit of the code will prevent the current false positives.
>>
>> It used to be common to have Info files with names like `foo`, `foo-1`,
>> `foo-2`, ... Splitting Info files has gotten out of fashion due to the
>> growing size of RAM, and the use of a `.info` extension has grown
>> a lot too. Maybe we could start assuming that all those files nowadays
>> have a `.info` extension?
>
> I had a look in
>
> /usr/share/info/
>
> here, and it looks like they all have .info in their names.
Same here. But as I was looking at this last night, I had a vague
recollection of having seen info files named just emacs, emacs-1,
emacs-2, etc., i.e. without the suffix, which Stefan confirms. If such
info files are still around on older systems, I guess my patch is
insufficient.
Steve Berman
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Stefan Kangas, 2020/10/14
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Eli Zaretskii, 2020/10/15
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Richard Stallman, 2020/10/16
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Eli Zaretskii, 2020/10/16
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Richard Stallman, 2020/10/18
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Eli Zaretskii, 2020/10/18
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Richard Stallman, 2020/10/18
- Re: master ec9523a: Add a keybinding to the help menu to display manuals, Lars Ingebrigtsen, 2020/10/16
Re: master ec9523a: Add a keybinding to the help menu to display manuals, Lars Ingebrigtsen, 2020/10/15