Y
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
foxfluff
1617 days ago
GeckoMain
link
mjochim
1617 days ago
pgrep -f and pkill -f probably do the trick.
link