[luca2]

Inviato da LoryOne

Non era necessario riscaricare le estensioni.
Dalla cartella del profilo di copia, avresti potuto copiare le cartelle dei plugin all'interno di quella relativa al nuovo profilo.
Al riavvio, FF avrebbe trovato i plugin così come li avevi installati prima del ripristino ed aggiornati se lo avessi fatto prima del ripristino...
Visto che le impostazioni dei plugins finiscono tutte in prefs.js, avresti dovuto solo procedere a riconfigurarli, ma questo è davvero poca cosa.

Non lo sapevo. Adesso ho una cartella nel profilo con un nome diverso. Quella precedente deve essere stata cancellata. Pazienza, non fa niente.
Grazie.