{"id":1631,"date":"2008-02-01T11:05:03","date_gmt":"2008-02-01T09:05:03","guid":{"rendered":"http:\/\/mummila.net\/nuudelisoppa\/?p=1631"},"modified":"2008-02-01T11:05:03","modified_gmt":"2008-02-01T09:05:03","slug":"notes-and-a-workaround-firefox-20011-ubuntu-segfaults-at-restart-stylish-problem-with-userstyles-not-being-applied","status":"publish","type":"post","link":"https:\/\/mummila.net\/nuudelisoppa\/2008\/02\/01\/notes-and-a-workaround-firefox-20011-ubuntu-segfaults-at-restart-stylish-problem-with-userstyles-not-being-applied\/","title":{"rendered":"Notes and a workaround: Firefox 2.0.0.11 (Ubuntu) Segfaults at restart, & Stylish problem with userstyles not being applied"},"content":{"rendered":"

I began migrating my Firefox extensions from Windows to Ubuntu by installing Extension List Dumper<\/a> in Windows’ Firefox, and then working my way through the list generated by it in Ubuntu. However, at some point I discovered that Stylish<\/a>‘s userstyles were no longer being applied, and that Firefox could no longer restart itself using the Restart button which becomes available after installing an extension.<\/p>\n

What’s worse, using the command-line to start Firefox I discovered that it did attempt to restart when told to, but it only resulted in a Segmentation fault.<\/p>\n

I initially suspected that there was some sort of a conflict between the beautiful NASA Night Launch theme<\/a> and Stylish, but after starting with a new, clean profile and installing extensions one by one instead of en masse, I finally traced the problem back to Colorzilla<\/a>, one of my favorite extensions. Without it, everything seems to be working, and with it, Firefox segfaults two, sometimes three times in a row before finally restarting. So the workaround to the problems listed in the title is to uninstall Colorzilla<\/strong>.<\/p>\n

The problematic version of Colorzilla I was using was the one currently available from Mozilla’s Add-ons page, 1.0. A new Beta version is available from Colorzilla’s official home page<\/a>, which also mentions problems with Ubuntu and FC5, and suggests a solution which, if it works, should allow you to keep using the non-Beta version of Colorzilla. I haven’t tested either of these solutions.<\/p>\n

I haven’t come across these issues with Colorzilla under Windows.<\/p>\n

When tracking down this problem, the Restart Firefox<\/a> extension turned out to be quite handy.<\/p>\n","protected":false},"excerpt":{"rendered":"

I began migrating my Firefox extensions from Windows to Ubuntu by installing Extension List Dumper in Windows’ Firefox, and then working my way through the list generated by it in Ubuntu. However, at some point I discovered that Stylish‘s userstyles were no longer being applied, and that Firefox could no longer restart itself using the […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[30,28,26],"class_list":["post-1631","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-bugsglitches","tag-mozilla","tag-open-source"],"_links":{"self":[{"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/posts\/1631","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/comments?post=1631"}],"version-history":[{"count":0,"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/posts\/1631\/revisions"}],"wp:attachment":[{"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/media?parent=1631"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/categories?post=1631"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mummila.net\/nuudelisoppa\/wp-json\/wp\/v2\/tags?post=1631"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}