From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <5d31a8e44126e63c2814faf7f2ae8e47@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] stop httpd
From: rog@vitanuova.com
In-Reply-To: <4d510373a824cbaaa523e2cbd9428825@plan9.bell-labs.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Thu, 22 Jan 2004 19:55:32 +0000
Topicbox-Message-UUID: beddc6b8-eacc-11e9-9e20-41e7f4b1d025

> This is stupid.  I should merge kill, slay, and Kill.

if you're doing that...  it would be quite nice to allow it to accept
process ids as arguments too; trivial but nonetheless useful, i think.

i've sometimes wondered if it might be useful for the output to
contain some sort of annotation to contextualise the process id; e.g.

echo kill>/proc/3090/note # 63628K Rendez emu

useful when one's got several instances of the same (multithreaded)
program running but one only wishes to kill one of them.  sometimes
the process id's good enough, but not always.

a quick way to send to notepg too might be useful too.

hmm.  8 lines could quickly become 100!