From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <7dafad1306719963a42c47fa3a8f9a58@plan9.bell-labs.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Drawterm session close??
From: "Russ Cox" <rsc@plan9.bell-labs.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Fri,  8 Mar 2002 17:36:27 -0500
Topicbox-Message-UUID: 620e8d3e-eaca-11e9-9e20-41e7f4b1d025

I'm not sure why the processes are left over.
Usually a name space loop, but in this case
that would mean rio has fs in its namespace
and fs has rio in its namespace, but I don't
think you can set things up that way.

To kill them as bootes, use Kill, which is like kill, but
stronger:

g% cat /bin/Kill
#!/bin/rc
ps | sed -n '/ '^$1^'$/s%^[^ ]* *([^ ]*).*%chmod 666 /proc/\1/ctl;echo kill > /proc/\1/ctl%p'
g%