file.getline(buffer, buffer_size);
char *s = buffer;
if(zsh_history && *s == ':') {
- s++;
- while(*s && *s != ':') s++;
- if(*s == ':') s++;
+ while(*s && *s != ';') s++;
+ if(*s == ';') s++;
}
lines[nb_lines] = new char[strlen(s) + 1];
strcpy(lines[nb_lines], s);