Apontando man pages para diferentes locais

2

No meu ambiente, estou instalando um servidor SSH de outro fornecedor diferente do openSSH para atender às necessidades do ambiente. Quando eu emito um comando man ssh, por exemplo, quero que aponte para a man page do novo servidor ssh, em vez da página man do openssh. A única maneira que eu vi para fazer isso até agora é copiar fisicamente todas as páginas man do novo servidor ssh para o diretório / usr / local / man. Alguém sabe de uma maneira mais fácil / mais limpa para fazer isso, como um arquivo de configuração para apontar o homem para procurar as entradas new man onde eu iria fornecer um diretório?

    
por Vinnie Biros 03.04.2013 / 05:24

1 resposta

1

Você pode controlar o que man procura usando a variável de ambiente MANPATH . Funciona da mesma maneira que a variável PATH funciona. Os diretórios são separados por dois pontos, ou seja, ":" . Basta prefixar os diretórios ao início para substituir onde man procura páginas man.

em um shell bash:

% export MANPATH=/some/new/dir:$MANPATH

Você pode ver o que está definido com este comando:

% echo $MANPATH

Não fique surpreso se estiver vazio. man faz uso de um arquivo de configuração, /etc/man.config , que leva onde man deve procurar páginas man. Ele terá entradas como esta:

MANPATH /usr/man
MANPATH /usr/share/man
MANPATH /usr/local/man
MANPATH /usr/local/share/man

Você pode ver o efeito dessas entradas junto com sua variável MANPATH com o comando manpath .

% echo $MANPATH

% manpath
/usr/kerberos/man:/usr/local/share/man:/usr/share/man/en:/usr/share/man:/usr/local/man
    
por 03.04.2013 / 05:52