背景
一个简单的场景, kill 一个名为Main的Java 进程, 比较土的办法是:
jps
2817 Jps
11917 Main
2584 NettyServer
kill 11917
每次执行都要肉眼识别Main进程的PID, 效率低, 容易错. 简单的改进是这样的:
jps | awk ‘$2 ~ /Main/ {print $1}’ | xargs kill
看上去不错! 问题来了, 若是复用上面的命令行去kill 另一个进程呢, 比如 NettyServer ?
方案
在~/.bashrc中定义一个函数jstop :
#.bashrc
jstop() {
jps | awk “$2 ~ /$1/ {print $1}” | xargs kill
}
在source ~/.bashrc后, 就可以jstop NettyServer了.