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