这就是我现在在bash脚本中所拥有的:
ps aux | grep glassfish | grep domain1 | gawk '{print $2}' | xargs kill -9
这样做的问题是,如果其他人登录并拉动与glassfish相关的东西,那么它也将拉动该PID.从而导致杀死错误的PID.
所以我的问题是如何修复我只需要提取正确的PID,以及如何重写它以从glassfish生成的PID文件中提取PID.