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