Por que não há um ";" depois de "fazer" em loops sh?

Essa é a sintaxe do comando. Veja Comandos Compostos

for name [ [in [words …] ] ; ] do commands; done

Observe especificamente: do commands

A maioria das pessoas coloca o doe commandsem uma linha separada para facilitar a leitura, mas não é necessário, você pode escrever:

for i in thing
do something
done

Eu sei que esta pergunta é especificamente sobre o shell e eu vinculei ao manual do bash. Não está escrito dessa maneira no manual do shell, mas está escrito dessa maneira em um artigo escrito por Stephen Bourne para a revista byte.

Stephen diz:

Uma lista de comandos é uma sequência de um ou mais comandos simples separados ou terminados por uma nova linha ou ;(ponto e vírgula). Além disso, palavras reservadas como do e done são normalmente precedidas por uma nova linha ou ;... Por sua vez, cada vez que a lista de comandos que segue do é executada.

Não sei qual é o motivo original dessa sintaxe, mas vamos considerar o fato de que os whileloops podem receber vários comandos na seção de condição, por exemplo

while a=$(somecmd);
      [ -n "$a" ];
do
    echo "$a"
done

Aqui, a dopalavra-chave é necessária para diferenciar a seção de condição e o corpo principal do loop. doé uma palavra-chave como while, ife then(e done), e parece estar de acordo com as outras que não requer um ponto e vírgula ou uma nova linha depois, mas aparece imediatamente antes de um comando.

A alternativa (generalizada para ife while) ficaria um pouco feia, precisaríamos escrever, por exemplo,

if; [ -n "$a" ]; then
    some command here
fi

A sintaxe dos forloops é semelhante.

A sintaxe do shell é baseada em prefixo. Possui cláusulas introduzidas por palavras-chave especiais. Certas cláusulas têm que andar juntas.

Um whileloop é composto por um ou mais comandos de teste:

test ; test ; test ; ...

e por um ou mais comandos do corpo:

body ; body ; body ; ...

Algo tem que dizer ao shell que um loop while começa. Esse é o propósito da whilepalavra:

while test ; test ; test ; ...

Mas então, as coisas são ambíguas. Qual comando é o início do corpo? Algo tem que indicar isso, e é isso que o doprefixo faz:

do body ; body ; body ; ...

e, finalmente, algo deve indicar que o último corpo foi visto; uma palavra-chave especial donefaz isso.

Essas palavras-chave do shell não exigem separação por ponto e vírgula, mesmo na mesma linha. Por exemplo, se você fechar vários loops aninhados, poderá ter apenas done done done ....

Em vez disso, o ponto e vírgula está entre ... test ; body ... se eles estiverem na mesma linha. Esse ponto e vírgula é entendido como um terminador: ele pertence ao test. Portanto, se uma dopalavra-chave for inserida entre eles, ela deverá ficar entre o ponto e vírgula e body. Se estivesse do outro lado do ponto e vírgula, seria incorporado incorretamente na testsintaxe do comando, em vez de ser colocado entre os comandos.

A sintaxe do shell foi originalmente projetada por Stephen Bourne e é inspirada em Algol . Bourne amava tanto o Algol que usou muitas macros C no código-fonte do shell para fazer C parecer Algol. Você pode navegar pelas fontes shell datadas de 1979 da Versão 7 do Unix . As macros estão em mac.h, e são usadas em todos os lugares. Por exemplo if, as instruções são renderizadas como IF... ELSE... ELIF... FI.

Eu diria que donão é particularmente especial aqui. Você recebe um erro porque ;não pode iniciar uma lista de comandos. Se tivesse, o primeiro comando estaria vazio, e a gramática não permite comandos vazios (atribuições de variáveis ​​ou redirecionamentos sem comando, sim, mas absolutamente nada, não). Isso é verdade em qualquer número de lugares, onde quer que uma lista de comandos seja esperada:

$ while true; do ; echo foo; done
dash: 1: Syntax error: ";" unexpected
$ while ; true; do; echo; done
dash: 1: Syntax error: ";" unexpected
$ { ; echo foo; }
dash: 1: Syntax error: ";" unexpected
$ if ; true; then echo foo; fi
dash: 1: Syntax error: ";" unexpected

Até:

$ ; ;
dash: 1: Syntax error: ";" unexpected

Em todos esses lugares, uma lista de comandos é esperada e, portanto, uma entrelinha ;é inesperada.

A sintaxe é:

for i in [whitespace separated list of values]
do [newline separated list of commands]
done

Qualquer uma das novas linhas, seja na lista de comandos ou antes de "do" ou "done", pode ser substituída por um ";".

Uma nova linha (mas não um ";") é permitida após o "do" e antes do "in", apenas para tornar as coisas mais bonitas, mas não faria sentido exigir uma nova linha lá.

ifé semelhante com suas palavras-chave: isso é bastante legível quando os comandos são curtos:

if   test_commands
then true_commands
else false_commands
fi

Resposta curta, porque isso é especificado pela gramática do shell POSIX . Qualquer coisa entre doe doneé considerado um grupo de instruções, enquanto ;é separador sequencial:

for_clause       : For name                                      do_group
                 | For name                       sequential_sep do_group
                 | For name linebreak in          sequential_sep do_group
                 | For name linebreak in wordlist sequential_sep do_group

do_group         : Do compound_list Done 

sequential_sep   : ';' linebreak
                 | newline_list

Além disso, se ;fosse necessário, o padrão indicaria isso explicitamente e incluiria sequential_sepdepois de Do.

Porque do é uma palavra-chave e o que a segue são essencialmente parâmetros. O interpretador Bash sabe que mais se segue. É semelhante a como não há ';' seguindo o i no comando for. Você pode realmente adicionar uma nova linha após o i for e digitar o resto em uma nova linha e funcionará bem.