Comment 4 for bug 1180227

This is not fixed, or it is broken again, in Firefox 24.
I'm on a fresh Ubuntu 13.04 install. Firefox 20 was working fine.
Then I've updated it to 24, and it can't read or write the profiles directory.

Can anybody tell me wherethe file is to which I am supposed to add those lines?? So that I can at least work this around?