Для личного использования я хочу отредактировать некоторые справочные страницы в моей системе, включая добавление некоторых заметок и удаление ненужных строк.
Итак, мой вопрос - как это установить?
Вернуться к моему вопросу Что такое PAGER по умолчанию, используемый man-страницами? Я узнал, как изменить man-PAGER по умолчанию.
Например, я собираюсь использовать gedit
. Это можно сделать с помощью
man -P gedit some-man-page
, а затем я редактирую и сохраняю как новый файл, а затем с помощью Как создать man-страницу? Я мог бы создать новую man-страницу этого команда.
Но это поставило бы меня перед проблемой присутствия двух man-страниц одной команды.
Итак, другими словами, какое приложение лучше (графический интерфейс предпочтителен) для редактирования man pages
ОБНОВЛЕНИЕ:
Я обнаружил, что могу сделать редактирование с помощью gmanedit
, для установки используйте:
sudo apt-get install gmanedit
Но вопрос в том, как сделать это изменение постоянным после обновления / обновления пакета. Как отключить обновление справочной страницы, даже если я обновляю / обновляю сам пакет.