Este diretório contém dados de informações do sistema que descrevem o sistema desde que ele foi inicializado. Os arquivos nesse diretório devem ser limpos (removidos ou truncados, conforme apropriado) no início do processo de inicialização. Os programas podem ter um subdiretório de / var / run; isso é incentivado para programas que usam mais de um arquivo de tempo de execução. [nota de rodapé 37]
E um recurso desejável é que a maioria das distros a limpa automaticamente (ao contrário do /tmpque não é limpo na inicialização em algumas distros) - isso evita arquivos pid obsoletos:
O local normal para pidfiles é / var / run. A maioria dos unices irá limpar este diretório na inicialização; no Ubuntu, isso é alcançado por / var / run um sistema de arquivos em memória (tmpfs).
É sua escolha onde armazená-lo, mas eu aceitaria o padrão.
Se você não tem acesso /var/run, deve armazenar o arquivo pid no diretório inicial do usuário, por exemplo ~/.my_app.pid.
Se /var/runvocê precisar de acesso de gravação não raiz , observe que existem subdiretórios /var/run/userpara usuários individuais. Você só precisa obter o UID do usuário atual:
Respostas:
Resumindo : você pode armazená-lo em qualquer lugar (por exemplo,
/tmp
ou/var/tmp
), mas/var/run
é o padrão preferido./var/run
é o padrão de hierarquia do sistema de arquivos :E um recurso desejável é que a maioria das distros a limpa automaticamente (ao contrário do
/tmp
que não é limpo na inicialização em algumas distros) - isso evita arquivos pid obsoletos:É sua escolha onde armazená-lo, mas eu aceitaria o padrão.
Se você não tem acesso
/var/run
, deve armazenar o arquivo pid no diretório inicial do usuário, por exemplo~/.my_app.pid
.fonte
Se
/var/run
você precisar de acesso de gravação não raiz , observe que existem subdiretórios/var/run/user
para usuários individuais. Você só precisa obter o UID do usuário atual:/var/run/user/[$uid]
fonte