Sim, tentei todos os métodos básicos kill , pkill , etc. que surgem com uma pesquisa no Google.
Às vezes funciona, outras vezes parece que algo está impedindo o processo de terminar.
Não há mensagem stderr quando o comando kill falha, mas ps , pgrep , etc. mostram que o processo ainda está em execução.
Existe uma maneira mais strong de fazer isso? Obrigado.
kill -KILL $PID ou kill -9 $PID forçará a finalização de $PID , a menos que você não tenha permissões para isso (ou seja, ele pertença a um usuário diferente e você não seja root), mas tenha muito cuidado com isto. Infligir isso em um processo impedirá que ele faça qualquer tipo de limpeza do sistema de arquivos (ou outro).