O que significa um redirecionamento "<<(...)"?

Eu vi que o rvm (ruby version manager) é instalado usando o seguinte comando:

bash < <(curl -s https://raw.github.com/wayneeseguin/rvm/master/binscripts/rvm-installer )

Então, pelo que entendi, obtemos o conteúdo do script e o passamos para o bash (acredito < <e <<é a mesma coisa?) Estou interessado na < <parte, encontrada a seguinte descrição na rede:

<< token Significa usar o fluxo de entrada atual como STDIN para o programa até que o token seja visto.

De alguma forma, isso não está claro para mim, alguém pode dar um exemplo ou explicá-lo de maneira mais simples?

bash shell io-redirection

— Stonerain
fonte

Não, < <e <<não são a mesma coisa.

O primeiro é composto pelo <caractere de redirecionamento comum combinado com o primeiro caractere da <(command)sintaxe. Essa é uma kshconstrução (também encontrada em bashe zsh) conhecida como substituição de processo que pega a saída commande a fornece em um arquivo cujo nome se refere à outra extremidade do canal para a qual commandestá gravando.

Em outras palavras, você pode pensar < <(command)como < file, onde o arquivo contém a saída de command.

— enzotib
fonte

Eu aprendi sobre esse comando há alguns dias atrás, é um comando muito útil. As coisas que você pode fazer com isso são limitadas apenas pela sua imaginação: por exemplo, este comando fornece uma lista de apenas arquivos ocultos:diff <(ls) <(ls -a)

— Khaja Minhajuddin

Essa sintaxe pode realmente ser bastante útil, mas no caso específico de Stonerain, ela parece não fornecer nenhum valor agregado em comparação com um simples canal.

— Jlliagre

Na sintaxe acima, isso não ajuda. Mas se você mudar um pouco, é muito melhor: em bash <(curl ...)vez de bash < <(curl ...)não roubar STDIN, você estará livre para responder às solicitações e fornecer informações no script.

— precisa saber é o seguinte

Usar <() parece ser uma ótima alternativa para enviar várias variáveis $ diretamente para comandos, em vez de precisar desnecessariamente gravar as variáveis $ nos arquivos primeiro. diff <(eco "$ text1") <(echo "$ text2") stackoverflow.com/questions/13437104/…

— Sepero 6/12/12

É uma maneira complicada de fazer o mais simples:

curl -s https://raw.github.com/... | bash

— jlliagre
fonte