Не, все верно понял. Работает. Но инструмент выбран неверно :(
После grep в stdin почему-то ничего не остается. Т.е. я проверяю stdin на наличие и в зависимости от результата хочу подать весь stdin на вход одной или другой программе. После grep'а там ничего. Что-то я туго сегодня соображаю.
Все вышеотвеченное к делу не относится, а не работает у тебя не grep,
а 4сheck=, с каких пор идентификатор может начинаться с цифры?
Да, </dev/stdin не нужно, достаточно `cat -`.