3 ms·
Are these really named pipes? And if yes, what are the names? Kinda looks like anonymous pipes to my untrained eyes.
by perlgeek 13y ago
Are these really named pipes? And if yes, what are the names?
Kinda looks like anonymous pipes to my untrained eyes.
- gnaritas 13y agoThey're anonymous named pipes. Do this in a shell to see the name: echo <(true)
- Pitarou 13y agoanonymous named? We really need to refactor our terminology. :)
- hamburglar 13y agoAnonymous in that their name doesn't matter and you need not care about it. They are implemented using pipes with actual names, but the names aren't important from the shell user's point of view.
- gnaritas 13y agoWhy, that's exactly what it is? It's a named pipe, but not one used explicitly by you but implicitly by the process substitution feature to pass a file, which of course has a name, to another process. It's only anonymous to you because you didn't name it, to the system it's an ordinary named pipe.