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

PATCH: 5-digit pids in _pids

X-seq: zsh-workers 13783
From: Clint Adams <schizo@xxxxxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: PATCH: 5-digit pids in _pids
Date: Mon, 26 Mar 2001 13:51:35 -0500
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm

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