Exécuter la commande
a=`ps -e | grep openocd | cut -b 1-7` && kill -9 $a
Pour "kill" les processus OpenOCD toujours en fonctionnement.