Oui, apparemment, ça ne fonctionne pas correctement... Mais suffisait de chercher:
https://www.google.com/search?q=sync+opera+extensions
Click “Choose what to synchronize.” From this screen you can choose to enable or disable syncing for bookmarks, history, open tabs, passwords, and other browser settings
but not extensions. You can also choose to sync only password data or all browser data uploaded to Opera’s sync servers.
Traduction: Cliquez sur "Choisir quoi synchroniser". Depuis cet écran, vous pouvez choisir d'activer ou désactiver la synchronisation des favoris, de l'historique, des onglets ouverts, des mots de passe et d'autres paramètres du navigateur
mais pas les extensions. Vous pouvez également choisir de ne synchroniser que les données de mot de passe ou toutes les données de navigateur chargées sur les serveurs de synchronisation d’Opera.
Source:
https://www.howtogeek.com/312790/how-to ... computers/
Mais je pense qu'il doit être possible de faire un copié-collé du dossier /home/user/.config/opera/Extensions/ ainsi que tous les dossiers contenant le nom "extension" d'une machine A à une machine B (pas vérifié cependant).
Source:
https://forums.opera.com/topic/22977/sy ... settings/6
On pourrait même essayer de copier/coller tout le dossier /home/user/.config/opera/ tout simplement. Par contre, si l'Opera initial se trouve sur Win et l'autre sur Linux, ça risque d'être plus compliqué voire impossible. De plus, je pense qu'il faut impérativement que les versions soient identiques. Dans Chromium/Chrome, il y a dossier "default" mais malheureusement pas dans Opera. Dommage