Firefox: Gestione dei profili

Mi sono trovato a che fare con la migrazione delle impostazioni tra due installazioni diverse.
Firefox, crea una cartella *.default in "home/.mozilla/firefox/", in cui l'asterisco e' una stringa alfanumerica di 8 caratteri random, all'interno della quale trovano posto la cache, i bookmark e tutte le impostazioni utente.
Quindi, basta copiare questa cartella, all'interno di "home/.mozilla/firefox" della propria installazione, avendo cura di cancellare quella creata da firefox automaticamente, e modificando il file "profiles.ini" di conseguenza.

Firefox, teoricamente e' in grado gestire diversi profili utenti.
Se da terminale diamo il comando:

firefox -ProfileManager

........