Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

PATCH: 5-digit pids in _pids



I'm going to commit this and the other patch from Michal.

----- Forwarded message from Michal Politowski <mpol@xxxxxxxxxxxxxxxxxxx> -----

There's a small problem with this function, preventing it from correctly
completing pids of 5 digits (because there's no space before these in ps
output).

--- /tmp/_pids	Mon Mar 26 19:26:10 2001
+++ /usr/share/zsh/functions/_pids	Mon Mar 26 19:26:52 2001
@@ -14,5 +14,5 @@
 elif [[ "$PREFIX$SUFFIX" = [0-9]# ]]; then
   all=()
-  match="*[[:blank:]]${PREFIX}[0-9]#${SUFFIX}[[:blank:]]*"
+  match="(*[[:blank:]]|)${PREFIX}[0-9]#${SUFFIX}[[:blank:]]*"
 else
   all=(-U)

----- End forwarded message -----



Messages sorted by: Reverse Date, Date, Thread, Author