0

How do I see which books are currently being certified with ACL2 on a given machine? I know I can look at the output and figure it out that, but that takes a non-trivial amount of effort.

interestedparty333
  • 2,386
  • 1
  • 21
  • 35

1 Answers1

0

The following works on most systems:

ps axww | grep cert
interestedparty333
  • 2,386
  • 1
  • 21
  • 35