info handling dir.gz

info handling dir.gz

[Thien-Thi Nguyen]

[-- Attachment #1: Type: text/plain, Size: 267 bytes --]

This patch is required for GNU Emacs to read /usr/share/info/dir.gz
(et al).  I hope it can make it into the next release.

[Insert excuse for not having installed Bazarre, here
 (flames => /dev/null).]

______________________________________________________________

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: info.diff --]
[-- Type: text/x-diff, Size: 737 bytes --]

 lisp/info.el |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/lisp/info.el b/lisp/info.el
index a8cb141..49d0953 100644
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -1158,6 +1158,11 @@ a case-insensitive match is tried."
 	      (let* (file
 		     (attrs
 		      (or
+		       ;; As of 2011 or thereabouts, some weirdness in the
+		       ;; transition from Debian to GNU install-info results
+		       ;; in the directory file being gzipped.  Sigh.
+		       (progn (setq file (expand-file-name "dir.gz" truename))
+			      (file-attributes file))
 		       (progn (setq file (expand-file-name "dir" truename))
 			      (file-attributes file))
 		       (progn (setq file (expand-file-name "DIR" truename))

Re: info handling dir.gz

[Glenn Morris]

Thien-Thi Nguyen wrote:

> +		       ;; As of 2011 or thereabouts, some weirdness in the
> +		       ;; transition from Debian to GNU install-info results
> +		       ;; in the directory file being gzipped.  Sigh.

It's probably a bug in some package you have installed.
See eg http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537835
I don't have a dir.gz on my Debian testing system.

Re: info handling dir.gz

[Thien-Thi Nguyen]

() Glenn Morris <rgm@gnu.org>
() Thu, 01 Mar 2012 12:53:28 -0500

   It's probably a bug in some package you have installed.
   See eg http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537835
   I don't have a dir.gz on my Debian testing system.

Yes, it's very possible on my frankenputer.
I suggest to install the patch only if others complain.

Re: info handling dir.gz

[Lluís]

Glenn Morris writes:

> Thien-Thi Nguyen wrote:
>> +		       ;; As of 2011 or thereabouts, some weirdness in the
>> +		       ;; transition from Debian to GNU install-info results
>> +		       ;; in the directory file being gzipped.  Sigh.

> It's probably a bug in some package you have installed.
> See eg http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537835
> I don't have a dir.gz on my Debian testing system.

I too have a /usr/share/info/dir.gz file. That probably explains why the info
directory has been so empty lately :)

Reinstalling a random package removes /usr/share/info/dir and regenerates
/usr/share/info/dir.gz.

So, I'd say it's necessary to install this patch. Besides, support for gzipped
dir files in install-info has been there there since version 4.0 (sep 1999), so
this patch can only make the handling more complete.


Lluis

-- 
 "And it's much the same thing with knowledge, for whenever you learn
 something new, the whole world becomes that much richer."
 -- The Princess of Pure Reason, as told by Norton Juster in The Phantom
 Tollbooth

Re: info handling dir.gz

[Lluís]

Lluís  writes:

> Glenn Morris writes:
>> Thien-Thi Nguyen wrote:
>>> +		       ;; As of 2011 or thereabouts, some weirdness in the
>>> +		       ;; transition from Debian to GNU install-info results
>>> +		       ;; in the directory file being gzipped.  Sigh.

>> It's probably a bug in some package you have installed.
>> See eg http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537835
>> I don't have a dir.gz on my Debian testing system.

> I too have a /usr/share/info/dir.gz file. That probably explains why the info
> directory has been so empty lately :)

> Reinstalling a random package removes /usr/share/info/dir and regenerates
> /usr/share/info/dir.gz.

> So, I'd say it's necessary to install this patch. Besides, support for gzipped
> dir files in install-info has been there there since version 4.0 (sep 1999), so
> this patch can only make the handling more complete.

Sorry, I just looked into the bug you linked. The problem in my system seems to
be cvs:

$ dpkg -S /usr/share/info/dir.gz 
cvs: /usr/share/info/dir.gz
$ apt-cache policy cvs | grep \*
 *** 1:1.12.13-12+squeeze1 0

But install-info is still supposed to be able to handle gzipped dir files, so...


Just my 2 cents.

Lluis

-- 
 "And it's much the same thing with knowledge, for whenever you learn
 something new, the whole world becomes that much richer."
 -- The Princess of Pure Reason, as told by Norton Juster in The Phantom
 Tollbooth

Re: info handling dir.gz

[Glenn Morris]

I applied this (may as well try dir.gz even if that file shouldn't
normally be compressed).

Please try to resolve your Bazaar issues, it would be great if you could
just commit your own changes again.

(I don't really want to hear what the issues are; there is a helpful
mailing list at https://lists.ubuntu.com/mailman/listinfo/bazaar )

Re: info handling dir.gz

[Ulrich Mueller]

>>>>> On Mon, 05 Mar 2012, Glenn Morris wrote:

> I applied this (may as well try dir.gz even if that file shouldn't
> normally be compressed).

Wouldn't it be cleaner to try all suffixes from Info-suffix-list,
instead of hardcoding .gz only?

Or, if this is really a Debian specific issue, then this patch should
be applied only to their Emacs package, but not upstream.

Ulrich

Re: info handling dir.gz

[Thien-Thi Nguyen]

() Glenn Morris <rgm@gnu.org>
() Mon, 05 Mar 2012 22:07:00 -0500

   I applied this (may as well try dir.gz even if that file shouldn't
   normally be compressed).

Thanks.

   Please try to resolve your Bazaar issues, it would be great if you could
   just commit your own changes again.

Yes, i agree.  I'm working on it (slowly).