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