Niedawno przypadkowo zapełniłem partycję domową w Ubuntu. Zanim zdałem sobie sprawę z tego, co się stało, uruchomiłem ponownie Firefoksa, ponieważ działał dziwnie (co zrozumiałe).
Teraz, kiedy uruchamiam Firefoksa z Menedżerem profili (używając -p), nie wyświetla on żadnego z moich istniejących profili. Sprawdziłem i wszystkie foldery profili nadal tam są, ale mój plik profile.ini jest w zasadzie pusty. Zakładam, że został przypadkowo wygaszony, gdy partycja była pełna.
Próbowałem usunąć profile.ini, ale po prostu został zregenerowany pusty. Czy można zregenerować moje profile.ini w oparciu o istniejące foldery profilów, czy będę musiał po prostu ręcznie je odbudować (dokumenty mozilla pokazują format, więc nie wygląda to zbyt trudne, szukam tylko leniwa opcja).