earlier replies
Replying to @tfheen
@tfheen Yes, with a temporary file I can do it. Do you want to know how?
1
@tfheen pastebin.com/MAQMsZfX
2
@dsilverstone @tfheen no need for tempfile, use bash and command redirection: <(echo "...")
1
@TokenScandi Incorrect. gdb stats the /dev/fd/XXX which bash produces and decides to ignore it.
1
@dsilverstone WTF? I can't think of a single valid reason why it would need to be a regular file…
1
Replying to @dsilverstone
@dsilverstone the only reason I can think of would be if it needed to seek or mmap it, but it's just a STREAM of commands, dammit!