OGIOS

personal website.


Table of contents

Linux shell process-substitution

![NOTE] It's same as pipeline in most cases, so just use cmd | another_cmd. Differences between pipeline and process substitution: https://stackoverflow.com/a/48493291

cmd1 < <(cmd2)

This saves cmd2 stdin output into a pseudo-file known as /dev/fd/63 -> /proc/self/fd/63.
It's not an actual file, you can pass it to a command as an anonymous pipe and it's useless afterwords.

/proc/self is linked to the program accessing it (pid), so it's forbidden for other programs.