Agendo sul file profile.i ho utilizzato la stessa cartella di configurazione sia con Linux che con Windows.
Finché non passerò totalmente a Linux, la cosa mi torna parecchio utile per i segnalibri, le cartelle che lascio aperte, le password. Tuttavia mi crea dei problemi per le estensioni, nel senso che su Linux non riconosce le estensioni di Windows e poi mi succedono un po' di casini.
Ovviamente per chi se ne intende sarà ovvio, però io non mi intendo di programmazione.
C'è un modo per risolvere il problema? Ossia: utilizzare, sia in Linux che in Windows, lo stesso file di bookmarks, le stesse finestre salvate e le stesse passwords, ma utilizzare separatamente le estensioni?
Grazie