Руководство по bash гласит:
Каждый проверенный шаблон расширяется с использованием расширения тильды, расширения параметров и переменных, арифметического замещения, подстановки команд и замещения процесса.
Поэтому я не вижу никакой причины, по которой ваш пример не должен быть в точности эквивалентен
case $Input in
*@(User1 | User2 | User3)*#channel* )
Do_Something ;;
*)
Do_Something_Else ;;
esac
, который должен делать то, что вы хотите, если у вас установлен shopt -s extglob
, как говорит shellter.