Reputation: 19727
I'm trying to understand the following command:
user$ bash < <(curl -s https://something.com )
What do the < <
do?
Upvotes: 10
Views: 4125
Reputation: 30803
It's not < <
but first <
which means input redirection and then <( ... )
which means run the command inside the braces and make from that a file argument.
This looks to me quite equivalent as
curl -s https://something.com | bash
Upvotes: 16