Comment obtenir process pid dans gjs?

Question

Ce que je veux vraiment faire est d'appeler getpid(), mais il ne semble pas y avoir aucune façon saine d'esprit de le faire dans gjs. Le meilleur que je suis en mesure de trouver est:

// There's got to be a better way to get our pid in gjs? let credentials = new Gio.Credentials(); let pid = credentials.get_unix_pid();

Et cela fonctionne, mais il est horrible. Y a-t-il un meilleur moyen?

Answer 1

Il n'y a actuellement pas d'autre moyen que cela.

Des idées pour les futures versions de GJS comprennent un objet process compatible avec celui de nœud.