More than 5 years have passed since last update.

bash で子孫プロセス共々kill する

Bash
Linux
Linuxコマンド

Posted at 2016-10-22

#!/bin/bash

function killChildren(){
	local ppid

	for ppid in $@;
	do
		killChildren $(ps --ppid $ppid -o pid --no-heading)
		set -x
		kill $ppid
		set +x
	done
}

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up