You don’t need to write a new tool to forward stdin – one has already been written (cat):
(echo "initial command" && cat) | some_tool
This does have the downside of connecting a pipe to some_tool, not a terminal.
You don’t need to write a new tool to forward stdin – one has already been written (cat):
(echo "initial command" && cat) | some_tool
This does have the downside of connecting a pipe to some_tool, not a terminal.