Как получить pid процесса в gjs?

Что я действительно хочу сделать, так это вызвать getpid(), но, похоже, нет никакого разумного способа сделать это в gjs. Лучшее, что я смог придумать, это:

// 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();

И это работает, но это ужасно. Есть ли способ лучше?


gjs
person Michael C.    schedule 29.06.2017    source источник


Ответы (1)


На данный момент другого пути нет.

Идеи для будущих версий GJS включают объект process, совместимый с объектом в Node.

person ptomato    schedule 08.07.2017