Что означает перенаправление «<<(…)»?

Я видел, что rvm (менеджер версий ruby) устанавливается с помощью следующей команды:

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

Итак, насколько я понимаю, мы получаем содержимое сценария и передаем его в bash (я верю, < <и <<это то же самое?). Я заинтересован в этой < <части, нашел следующее описание в сети:

<< токен Означает использование текущего входного потока в качестве STDIN для программы, пока токен не будет виден.

Мне это как-то непонятно, кто-то может привести пример или объяснить это более простым способом?

bash shell io-redirection

— Stonerain
источник

Нет < <и <<не одно и то же.

Первый состоит из общего <символа перенаправления в сочетании с первым символом <(command)синтаксиса. Это kshконструкция (также встречающаяся в bashи zsh), известная как подстановка процесса, которая принимает выходные данные commandи предоставляет их в файле, имя которого относится к другому концу канала, в который commandпроизводится запись.

Другими словами вы можете думать , < <(command)как < file, где файл содержит вывод command.

— enzotib
источник

Я узнал об этой команде несколько дней назад, это очень полезная команда. Вещи, которые вы можете сделать с этим, ограничены только вашим воображением: например, эта команда предоставляет вам список только скрытых файлов:diff <(ls) <(ls -a)

— Хаджа Минхаджуддин

Этот синтаксис действительно может быть весьма полезным, но в конкретном случае Стоунрейна он, по-видимому, не дает никакой дополнительной выгоды по сравнению с простым каналом.

— Jlliagre

В приведенном выше синтаксисе это не помогает. Но если вы немного измените его, это будет намного лучше: bash <(curl ...)вместо того, bash < <(curl ...)чтобы не красть STDIN, вы можете отвечать на запросы и вводить данные в сценарий.

— Tylerl

Использование <() кажется отличной альтернативой для отправки нескольких переменных $ напрямую в команды, вместо того, чтобы сначала без необходимости записывать $ переменные в файлы. diff <(echo "$ text1") <(echo "$ text2") stackoverflow.com/questions/13437104/…

— Sepero

Это запутанный способ сделать проще:

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

— jlliagre
источник