Andrew Coppin andrewcop...@btinternet.com writes:
but you should look into the pkill
command, which allows you to kill processes (including sending signals
other than SIGTERM) by name. It's installed by default on Ubuntu.
Or 'killall'. Which has (had) the interesting namesake on Solaris
On 24/12/2010 09:58 AM, Miles Gould wrote:
Hi Andrew,
Others have probably told you this,
Actually no...
but you should look into the pkill
command, which allows you to kill processes (including sending signals
other than SIGTERM) by name. It's installed by default on Ubuntu.
Mmm, OK.
On 12/24/10 4:08 PM, Andrew Coppin wrote:
Gotta love the way that this is THE MOST COMMON USE CASE for kill, and
yet kill itself doesn't support doing this.
The problem with killing processes by name is that names aren't unique,
so you might unintentionally end up killing other processes that
Andrew,
Thanks for your report. Indeed, please direct future reports
to darcs-users or b...@darcs.net
darcs: bug at src/URL.hs:246 compiled Sep 12 2010 20:24:56
Another possible bug in URL.waitNextUrl: curl_multi_perform() - no running
handles
See
On 22/12/2010 11:08 AM, Eric Kow wrote:
Andrew,
Thanks for your report. Indeed, please direct future reports
to darcs-users or b...@darcs.net
That would require me to sign up to yet another mailing list just to
report one bug. And given that we're talking about a prebuilt binary
being
On Wed, Dec 22, 2010 at 5:09 AM, Andrew Coppin
andrewcop...@btinternet.comwrote:
On 22/12/2010 11:08 AM, Eric Kow wrote:
Andrew,
Thanks for your report. Indeed, please direct future reports
to darcs-users or b...@darcs.net
That would require me to sign up to yet another mailing list just
On 23 December 2010 00:09, Andrew Coppin andrewcop...@btinternet.com wrote:
Presumably the only way to do that would be to build one. (?) As I
understand it, apt-get and similar tools are designed to 100% prevent you
having any choice whatsoever over the version numbers of stuff that gets
