Por que o man -P se comporta de maneira diferente quando a saída é redirecionada ou canalizada?

0
man -P whoami ls

Este comando irá gerar o nome do usuário, assim como whoami . Mas quando você usar pipe para redirecioná-lo para um arquivo ou para sua tela como man -P whoami ls | cat ou man -P whoami ls > file , o conteúdo de file será a página de manual de ls .

Por que as duas coisas são diferentes? Quero dizer, man -P whoami ls e man -P whoami ls | cat output são diferentes.

Existe algum problema?

    
por Mr.m 19.09.2015 / 03:34

1 resposta

2

man não usa um pager se a saída não for um terminal, mas um arquivo ou um pipe. Portanto, a opção -P é ignorada nesse caso.

    
por Florian Diesch 19.09.2015 / 03:49