1.10. Печать отдельных man- или info-страниц

Проблема

Многие man- и info-документы весьма длинны — скажем, man bash занимает 33 печатных страницы. Требуется напечатать лишь часть описания. Как организовать выборочную печать страниц?

Решение

Экспортируйте man- или info-страницу в текстовый файл командой col. После этого вы сможете легко выбрать печатаемые страницы. Следующие команды показывают, как сделать это для страниц man bash или info bash:

$ man bash | col -b > bash.txt
$ info bash | col -b > bash.txt

Комментарий

Если просто ввести команду man bash > bash.txt, результат будет выглядеть некорректно. Команда col -b приводит распечатку в порядок, убирает из неё лишние переводы строк и символы Backspace. Это особенно важно для перевода man-страниц в текстовый формат, поскольку в man-страницах часто встречаются символы Backspace, которые затем отображаются в текстовых файлах в виде пустых квадратов или повторяющихся символов.

См. также

col(1).