command_separator_chars  839 lib/widget/input_complete.c     const char *command_separator_chars = ";|&{(`";
command_separator_chars  853 lib/widget/input_complete.c     else if (strchr (command_separator_chars, ti[0]) != NULL)