можно использовать, уничтожают-USR1 PID или pidof script.py
также-9 является жестоким, чтобы завершить процесс, попробовать-15 за корректный выход.
Поиск webkit-sharp-devel на software.opensuse.org, который перечисляет все официальные пакеты, не возвращает результата. Который приводит меня к cobnclusion, что нет такого пакета в opensuse 12.3. Хит newarest резок WebKit.