O que significa um redirecionamento “|” (“greater-pipe” -redirection)? [duplicado]

1

O que faz o >| -redirection no bash?

Acabei de descobrir que echo text >| somefile cria o arquivo somefile (se ainda não existir) e o preenche com text . Semelhante como echo text > somefile faria.

Outras experiências sugerem que a >| -redirection se comporta como a > -redirection faz.

Então, qual é o >| -redirection exatamente?

Como é difícil pesquisar no Google a string "> |", não consegui pesquisar na web (por isso, adicionei "greater-pipe" no título desta pergunta, já que é possível usar o google).

    
por Golar Ramblar 03.12.2015 / 12:46

1 resposta

1

Ele está no manual bash ( 3.6.2 Redirecionando o resultado ) :

If the redirection operator is >|, or the redirection operator is > and
the noclobber option to the set builtin command is not enabled, the redirection is attempted even if the file named by word exists.

    
por 03.12.2015 / 12:50