tags 121997 fixed-upstream
thanks
On Sat, Dec 01, 2001 at 08:03:37PM +0000, Colin Watson wrote:
> On Sat, Dec 01, 2001 at 02:11:53AM +0100, Jos? Luis Gonz?lez Gonz?lez wrote:
> > Using 100-character lines
> > is_changed: a=/usr/share/man/es/man1/man.1.gz,
> > b=/usr/share/man/es/cat1/man.1.gz (-2)
> > format: 1, save_cat: 0, found: 1
>
> OK, as we discussed, this is the problem. Cat pages aren't saved for
> non-standard terminal widths because that would allow somebody to save
> all the system's man pages at, say, a one-character terminal width,
> which would inconvenience other users.
I've finally made this configurable upstream, for the upcoming man-db
2.5.4:
Sun Dec 7 17:43:21 GMT 2008 Colin Watson <[EMAIL PROTECTED]>
Make handling of terminal widths for cat pages configurable (Debian
bug #121997).
* src/manp.c (add_to_dirlist): Recognise new MINCATWIDTH,
MAXCATWIDTH, and CATWIDTH directives.
* src/man_db.conf.in: Add MINCATWIDTH, MAXCATWIDTH, and CATWIDTH.
* src/man.c (get_roff_line_length): Use CATWIDTH rather than the
terminal width if the former is non-zero.
(add_roff_line_length): Check the terminal width against
MINCATWIDTH and MAXCATWIDTH rather than checking whether it
differs from groff's default (via get_roff_line_length). Allow cat
page saving regardless in catman mode.
(make_roff_command): Forbid saving cat pages in troff mode here
rather than via add_roff_line_length/get_roff_line_length.
* man/man5/manpath.man5 (FORMAT): Document MINCATWIDTH, MAXCATWIDTH,
and CATWIDTH.
Thanks,
--
Colin Watson [EMAIL PROTECTED]
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
