Fixed the hack for zsh history
authorFrancois Fleuret <francois@fleuret.org>
Fri, 13 Mar 2009 10:00:02 +0000 (11:00 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 13 Mar 2009 10:00:02 +0000 (11:00 +0100)
selector.cc

index 4347e51..0884477 100644 (file)
@@ -447,8 +447,8 @@ int main(int argc, char **argv) {
     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);