Я пытаюсь понять следующую команду:
user$ bash < <(curl -s https://something.com )
Что делают < <?
< <