0

如何查看给定机器上当前正在通过 ACL2 认证的书籍？我知道我可以查看输出并弄清楚这一点，但这需要付出不小的努力。

4

1 回答 1

0

以下适用于大多数系统：

ps axww | grep cert
于 2015-04-02T19:21:17.250 回答