Andrew Coppin
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 which would indiscriminately kill all processes on the system.
Gotta love the way that this is THE MOST COMMON USE CASE for kill, and yet kill itself doesn't support doing this.
If you have suspended the job (^Z), you can usually refer to its PID as %%, so e.g. kill -9 %% should do what you want. If you are a bit more careful, you can list background jobs with 'jobs' (-l to get PIDs as well), and you can then refer to each as %N, where N is job number. So if darcs is background job number 3, you can type kill -9 %3 The nice thing about Unix is that there are pleny of wheels, and you can pick the one that fits your wagon best. :-) -k -- If I haven't seen further, it is by standing in the footprints of giants