Recentemente, deparei com um arquivo com a extensão .pid e explorei dentro dele, mas não encontrei muito. A documentação diz:
Um arquivo Pid é um arquivo que contém o número de identificação do processo (pid) que é armazenado em um local bem definido do sistema de arquivos, permitindo que outros programas descubram o pid de um script em execução.
Alguém pode esclarecer mais isso ou me orientar para detalhes do que está contido no arquivo pid?
echo filename.pid | xargs kill
não matará o processo. Eu acho que você quis dizer:echo $(cat filename.pid) | xargs kill
ouecho <process ID> | xargs kill
.cat filename.pid | xargs kill
?Para entender os arquivos pid, consulte este DOC
Algumas vezes, existem certos aplicativos que requerem suporte adicional de plug-ins e utilitários extras. Portanto, ele acompanha esses utilitários e o processo de plug-in executando IDs usando este arquivo pid para referência.
É por isso que sempre que você reinicia um aplicativo, todos os plugins e aplicativos dependentes devem ser reiniciados, pois o arquivo pid ficará obsoleto.
fonte