Hacker News new | ask | show | jobs
by oleks 1617 days ago
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.
2 comments

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