经常需要杀死某个进程,操作了几次之后,对一个熟练的码农来说,就要制作自己的工具了。有些工具虽然很小,但是却能节省一大部分的时间。
输入某个进程的ID并杀死的方法。这种事情,一般是先搜索再进行优化,这种对我这种不是大牛的人来说,是最快的方法:
果然不出所料,很快我就找到一个能用的脚本:
#!/bin/bash echo "Input process name first" read input1 PID=$(ps -e|grep $input1|awk '{printf $1}') if [ $? -eq 0 ]; then echo "process id:$PID" else echo "process $input1 not exit" exit fi kill -9 ${PID} if [ $? -eq 0 ];then echo "kill $input1 success" else echo "kill $input1 fail" fi