* PATCH: 5-digit pids in _pids
@ 2001-03-26 18:51 Clint Adams
0 siblings, 0 replies; only message in thread
From: Clint Adams @ 2001-03-26 18:51 UTC (permalink / raw)
To: zsh-workers
I'm going to commit this and the other patch from Michal.
----- Forwarded message from Michal Politowski <mpol@charybda.icm.edu.pl> -----
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 -----
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2001-03-26 18:51 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-03-26 18:51 PATCH: 5-digit pids in _pids Clint Adams
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).