Как отключить обновление справочной страницы, даже если я обновляю / обновляю сам пакет

Для личного использования я хочу отредактировать некоторые справочные страницы в моей системе, включая добавление некоторых заметок и удаление ненужных строк.

Итак, мой вопрос - как это установить?

Вернуться к моему вопросу Что такое PAGER по умолчанию, используемый man-страницами? Я узнал, как изменить man-PAGER по умолчанию.

Например, я собираюсь использовать gedit. Это можно сделать с помощью

man -P gedit some-man-page

, а затем я редактирую и сохраняю как новый файл, а затем с помощью Как создать man-страницу? Я мог бы создать новую man-страницу этого команда.

Но это поставило бы меня перед проблемой присутствия двух man-страниц одной команды.

Итак, другими словами, какое приложение лучше (графический интерфейс предпочтителен) для редактирования man pages

ОБНОВЛЕНИЕ:

Я обнаружил, что могу сделать редактирование с помощью gmanedit , для установки используйте:

sudo apt-get install gmanedit

Но вопрос в том, как сделать это изменение постоянным после обновления / обновления пакета. Как отключить обновление справочной страницы, даже если я обновляю / обновляю сам пакет.

1
задан 13 April 2017 в 15:24

0 ответов

Другие вопросы по тегам:

Похожие вопросы: