関連ワード:  linux redirect input to command    linux pipe input to command    bash redirect input to command    linux redirect stdin to command    linux send input to command    bash redirect stdin to command    linux pipe stdin to command    bash script redirect stdin to command    what is input redirection in linux