j
k
j a
j l
[...] but one solution probably just is to close mystdin if stdin_str is the empty string?
I did that now.
Back to the thread
Back to the list
