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)