[RFE] Setting a file name for buffer that is read from stdin

(I've asked this is the gitter chat already, but got no answer so far, hence creating this issue to gain some attention)

Is it possible to set a file name in the command line if the buffer is read from stdin? Consider I'm doing this:

$ git show v5.10:fs/eventpoll.c | micro -filetype c -readonly on +100

It works fine, but the file name is shown as "No name" which is not very convenient.

What I want probably is something like this:

$ git show v5.10:fs/eventpoll.c | micro -filename 'fs/eventpoll.c' -readonly on +100

or similar. If this feature already exists (but I couldn't find it in this case), please let me know how to do it, otherwise consider this to be an RFE.

Similar feature that works in neovim is achieved like this:

$ git show v5.10:fs/eventpoll.c | nvim -R -c "file fs/eventpoll.c" -c "set ft=c" +100

Thanks!

Start by tracing micro's command-line argument parsing and the path that creates a buffer from stdin. Check how the existing -filetype and -readonly options are handled; done means a stdin buffer can receive a user-provided filename while preserving the existing behavior.