我真正想做的是调用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();
这很管用,但太可怕了。有没有更好的方法?
发布于 2017-07-09 03:34:37
目前没有其他的方法了。
未来版本的GJS的想法包括一个与Node中的对象兼容的process对象。
https://stackoverflow.com/questions/44815538
复制相似问题