Vorrei usare DuckDuckGo come motore di ricerca predefinito in Opera. Le versioni di Opera 17+ sono dotate di un gestore di motori di ricerca (Impostazioni menu> Cerca> Gestisci motori di ricerca ...), in cui è possibile aggiungere motori di ricerca personalizzati e modificare il motore di ricerca predefinito (l'impostazione di fabbrica è Google). Comunque, a differenza della maggior parte degli altri browser, il motore di ricerca predefinito in Opera può essere modificato solo in un motore di ricerca predefinito diverso , non in un personalizzatomotore di ricerca. Senza speculare sui motivi alla base di questa restrizione arbitraria, mi chiedo come sia possibile convincere Opera a utilizzare un motore non predefinito come predefinito. Dovrebbe esserci qualche file di impostazione da modificare manualmente, suppongo. Ho provato ad afferrare la mia cartella di dati utente ("% APPDATA% \ Opera \ Opera" su Windows, dovrebbe essere da qualche parte sotto ~ / Library su OS X) per "google" e "yahoo", ma non riesco a trovare il posto .
default_partner_content.json
inC:\Program Files\Opera\resources
(se installato)