I recently accidentally filled my home partition in Ubuntu. Before I realized what happened, I restarted Firefox because it was acting strangely (understandably).
Now, when I start firefox with the Profile Manager (using -p) it doesn't list any of my existing profiles. I checked and all the profile folders are still there but my profiles.ini file is basically empty. I presume it got blanked by accident while the partition was full.
I tried deleting the profiles.ini but it just gets regenerated empty. Is it possible to regenerate my profiles.ini based on the existing profile folders or will I just have to rebuild it by hand (the mozilla docs show the format so it doesn't look too hard to do, I'm just looking for the lazy option).