mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
stack: look in core by default
This commit is contained in:
parent
c98946022a
commit
fd652ac319
1 changed files with 5 additions and 2 deletions
|
@ -1,8 +1,11 @@
|
|||
#!/usr/local/plan9/bin/rc
|
||||
|
||||
pid=$1
|
||||
if(~ $#* 0)
|
||||
pid=core
|
||||
if not
|
||||
pid=$1
|
||||
shift
|
||||
if(! ~ $pid [0-9] [0-9]*[0-9] */core *.core core.* */core.*){
|
||||
if(! ~ $pid [0-9] [0-9]*[0-9] */core *.core core.* */core.* core){
|
||||
name=$pid
|
||||
pid=`{psu|awk '$NF=="'$name'" {print $2}'}
|
||||
if(~ $#pid 0){
|
||||
|
|
Loading…
Reference in a new issue