In several command line applications, if you connect stdin to them, you need to specify the character - instead of the input file.
Example:
$ foo | bar -
Now I'm wondering: does this symbol have - official special name when used in this context, for example. dotted stdin operator or something like that? If so, which one?
The background of my question is that I want to write a function that detects this character and then treats stdin accordingly, instead of parsing the arguments as an array, and I was wondering what to call this function.
source share