Как узнать, какие книги в настоящее время проходят сертификацию с помощью ACL2 на данной машине? Я знаю, что могу посмотреть на вывод и понять это, но это требует нетривиальных усилий.
Определить книги, которые в настоящее время проходят сертификацию с помощью ACL2
Ответы (1)
В большинстве систем работает следующее:
ps axww | grep cert
person
interestedparty333
schedule
02.04.2015