(Sorry for my delay; I missed your reply.) That depends. The MANPAGER and PAGER environment variables take precedence; "pager" is used if neither is set. Rather than trying to second-guess it, it's better to simply observe what's used; for example, pressing 'h' at the pager will show a page with "SUMMARY OF LESS COMMANDS" at the top if it's less, or you could check a process listing from another terminal while man is running.
It would also be worth trying a different terminal program, of which there are many. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1132446 Title: Bold fonts are converting to normal fonts on scrolling To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/man-db/+bug/1132446/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
