Режим "Reverse Engineer Database" в Инструментальных средствах является только частью заплаченной версии, не свободной.
Вы пробовали запустить cygwin kill вместо встроенного bash? Если это Windows PID, введите:
/bin/kill -f 1234
или, если это Cygwin PID, введите:
/bin/kill -9 1234
Насколько я знаю, у Cygwin нет API, который можно было бы вызвать для преобразования Cygwin PID в Windows PID. Однако вы можете проанализировать вывод ps -W
, чтобы выполнить преобразование. Или, если вы действительно, действительно не хотите этого делать, взгляните на исходный код команды Cygwin ps
и посмотрите, откуда они берут pid. Исходный код Cygwin ps находится здесь. . Вы можете написать небольшую утилиту на языке C, чтобы взять pid-код Cygwin и дать вам pid-код Windows.
ps -W
will show the Windows PID in addition to the Cygwin PID.
Or, you can do it programmatically like this:
#include <sys/cygwin.h>
winpid = cygwin_internal(CW_CYGWIN_PID_TO_WINPID, cygpid);