Para uso pessoal, quero editar algumas páginas do manual no meu sistema, incluindo a adição de algumas notas e a remoção de muitas linhas desnecessárias.
Então, minha pergunta é como estabelecer isso?
Voltar para minha pergunta Qual é o PAGER padrão usado por man pages? Aprendi a mudar o homem padrão PAGER.
Por exemplo, vou usar gedit . Isso pode ser feito por
man -P gedit some-man-page
e, em seguida, edito e salvo como novo arquivo e, em seguida, por ajuda de Como criar um arquivo manpage? Eu poderia criar uma nova página man desse comando.
Mas, isso me colocaria no problema da presença de duas páginas man do mesmo comando.
Então, em outras palavras, qual é a melhor aplicação (a GUI é preferida) para editar man pages
ATUALIZAÇÃO:
Descobri que eu poderia fazer a edição usando o gmanedit . para instalar o uso:
sudo apt-get install gmanedit
Mas a questão é como tornar essa modificação persistente após uma atualização / atualização de pacote. I'e Como desabilitar a atualização do manual man, atualizo / atualizo o próprio pacote.