> > This seems pretty relevant. > > I am fairly sure no-one would have intentionally removed the file, this > > is why I am wondering if plugin/extension installation could cause the > > problem. I have tried out various extensions (eg for CSS editing) and > > mostly deleted them again. Installation of these usually requires running > > the browser as root. > > Please don't install extensions as root. It's the best way to break > things. Though the extension manager is supposed to have been fixed by > our patches for this case, it is likely you're hitting some bug there. > Please try to install these extensions as a normal user, or find a > debian package for the extension.
Good advice, which I normally follow (and try to explain to clueless extension writers). I haven't fiddled with extensions for months, so I have no clear recollection of which I tried as a normal user or root. I filed this mainly so later folks will find the problem & the workaround; if there's no obvious problem with the pre-/post- scripts we may as well close it. Cheers Vince -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
