Ticket #736 (new enhancement)

Opened 11 years ago

Last modified 10 years ago

gnu_info_index.bash: Strip unneeded lines and add a newline

Reported by: facorread Owned by:
Priority: ProjectIdeas Milestone:
Component: clients/paludis Version: 0.40.0
Keywords: Cc:
Blocked By: Blocking:
Distribution: Gentoo

Description

Hello, it is not uncommon to find the following in the gnu info index:

This is something.info, produced by makeinfo version 1000.

The proposed lines replace this unneeded information with a newline. They are to be inserted after gnu_info_index.bash:76:

sed 's/This is .*\.info, produced by makeinfo version .*//g' ${info_path}/dir | uniq > ${info_path}/dir.new
mv ${info_path}/dir{.new,}

As a side effect, the following formatting errors in the KDE Help Center->Info browser are corrected:

MISCELLANEOUS
MYSQL MySQL documentation. This is dc.info, produced by makeinfo version 4.11 from dc.texi. 
This is bc.info, produced by makeinfo version 4.11 from bc.texi. 

MATHEMATICS
CLN  Class Library for Numbers (C++).

Thanks, and keep up the great work.

Change History

comment:1 Changed 11 years ago by ciaranm

  • Blocking set to 731

comment:2 Changed 10 years ago by ciaranm

What's the uniq for?

comment:3 in reply to: ↑ description Changed 10 years ago by ingmar

Replying to facorread:

As a side effect, the following formatting errors in the KDE Help Center->Info browser are corrected:

FWIW, I can't reproduce this in KDE 4.3.1

comment:4 Changed 10 years ago by facorread

Hello, uniq removes unwanted blank lines and duplicate (rare) lines. I have reproduced this bug in KDE 4.3.0; I will emerge 4.3.1 and test as soon as I have time.

comment:5 Changed 10 years ago by ciaranm

So, uh, if an info page contains duplicate lines (for example, as part of an example), this breaks it?

comment:6 Changed 10 years ago by facorread

  • Version changed from 0.36.0 to 0.40.0

No, nothing gets broken; please remember that this is just a trivial, cosmetic enhancement, which applies to the info DIR file.

comment:7 Changed 10 years ago by ciaranm

  • Blocking 731 deleted
Note: See TracTickets for help on using tickets.