
11 Jan
2021
11 Jan
'21
5:04 p.m.
+kill_process() +{ + multi_qemu=`ps -ef |grep multi-qemu |grep "$USER" |awk '{print $2}'` + multi_docker=`ps -ef |grep multi-docker |grep "$USER" |awk '{print $2}'` + kill -9 $multi_qemu + kill -9 $multi_docker
That's awkward. Can let multi_qemu/multi_docker --pidfile to save pid to a file. And kill pids in that file instead. QEMU also supports -pidfile man qemu -pidfile file Store the QEMU process PID in file. It is useful if you launch QEMU from a script. Thanks, Fengguang