Precedência de Pipe (|) e lógica e (&&) no bash

cd ~/screenshots/ && ls screenshot* | head -n 5

Isso é equivalente a

cd ~/screenshots && { ls screenshot* | head -n 5 ; }

(as chaves agrupam comandos juntos sem um subshell ). A precedência de |é, portanto, maior (vinculações mais apertadas) do que &&e ||. Aquilo é,

A && B | C

e

A || B | C

sempre significa que apenas a saída de B deve ser dada a C. Você pode usar (...)ou { ... ; }para unir comandos como uma única entidade para desambiguação, se necessário:

{ A && B ; } | C
A && { B | C ; } # This is the default, but you might sometimes want to be explicit

Você pode testar isso usando alguns comandos diferentes. Se você correr

echo hello && echo world | tr a-z A-Z

então você vai conseguir

hello
WORLD

back: tr a-z A-Zmaiúsculas sua entrada , e você pode ver que apenas echo worldfoi canalizado para ele, enquanto echo hellopassou por conta própria.

Isso é definido na gramática do shell , embora não muito claramente: a and_orprodução (for &&/ ||) é definida para ter aa pipelineem seu corpo, enquanto pipelineapenas contém command, que não contém and_or- apenas a complete_commandprodução pode alcançar and_or, e só existe no nível superior e dentro dos corpos de construções estruturais como funções e loops.

Você pode aplicar manualmente essa gramática para obter uma árvore de análise para um comando, mas o Bash não fornece nada em si. Não conheço nenhum shell que faça além do que é usado para sua própria análise.

A gramática do shell tem muitos casos especiais definidos apenas semiformalmente e pode ser uma missão e tanto acertar. Até o próprio Bash às vezes errou , então os aspectos práticos e o ideal podem ser diferentes.

Existem analisadores externos que tentam combinar a sintaxe e produzir uma árvore, e desses eu recomendarei amplamente o Morbig , que tenta ser o mais confiável.

TL;DR : separadores de lista como ;. &, &&, e ||decidir a ordem de análise.

O manual do bash nos diz:

As listas AND e OR são sequências de um ou mais pipelines separados por && e || operadores de controle, respectivamente.

Ou como o wiki do Bash Hacker colocou sucintamente

<PIPELINE1> && <PIPELINE2>

Assim, cd ~/screenshots/ && ls screenshot* | head -n 5 há um pipeline - ls screenshot* | head -n 5e um comando simples cd ~/screenshots/. Observe que de acordo com o manual

Cada comando em um pipeline é executado como um processo separado (ou seja, em um subshell).

Por outro lado, (cd ~/screenshots/ && ls screenshot*) | head -n 5é diferente - você tem um pipeline: à esquerda há subshell e à direita você tem head -n 5. Neste caso, usando a notação do OP, seria(A && B) | C

Vamos a outro exemplo:

$ echo foo | false &&  echo 123 | tr 2 5
$

Aqui temos uma lista <pipeline1> && <pipeline2>. Como sabemos que o status de saída do pipeline é o mesmo do último comando e falseretorna um status negativo, também conhecido como falha, &&não será executado do lado direito.

$ echo foo | true &&  echo 123 | tr 2 5
153

Aqui o pipeline esquerdo tem status de saída de sucesso, então o pipeline direito é executado e vemos sua saída.

Observe que a gramática do shell não implica ordem de execução real. Para citar uma das respostas de Gilles :

Os comandos canalizados são executados simultaneamente. Quando você executa ps | grep …, é a sorte do sorteio (ou uma questão de detalhes do funcionamento do shell combinado com o ajuste fino do agendador nas entranhas do kernel) se o ps ou o grep começam primeiro e, em qualquer caso, eles continuam para executar simultaneamente.

E do manual do bash:

As listas AND e OR são executadas com associatividade à esquerda.

Com base nisso, cd ~/screenshots/ && ls screenshot* | head -n 5o cd ~/screenshots/seria executado primeiro, ls screenshot* | head -n 5se o comando anterior for bem-sucedido, mas head -n 5pode ser um primeiro processo gerado em lsvez de estar em um pipeline.

Aqui é onde está especificado em bash(1):

SHELL GRAMMAR
[...]
   Pipelines
       A  pipeline  is  a sequence of one or more commands separated by one of
       the control operators | or |&.
[...]
   Lists
       A list is a sequence of one or more pipelines separated by one  of  the
       operators ;, &, &&, or ||, and optionally terminated by one of ;, &, or
       <newline>.

Então, &&separa pipelines.

Você poderia apenas tentar echo hello && echo world | less. Você verá que |tem maior precedência (um pipeline de comandos é um comando). Lá para o seu segundo exemplo NÃO é o mesmo. No entanto, porque cdnão tem saída, você não verá diferença, de outra forma.