Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yep, works. However, you need to magically restart the browser. Apperently, it runs some background processes whose names contain neither the character sequence "firefox", nor "mozilla", according to pgrep.


GeckoMain


pgrep -f and pkill -f probably do the trick.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: