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).