Default Suchdienst bei Opera

[jochen-01]

Hallo,

ich möchte bei Opera (12.10) den Default Suchdienst ändern. Es ist ja Google, wenn ich das ändere, wird das für die aktuelle Sitzung auch übernommen. Nach dem nächsten Start von Opera ist es aber wieder Google.

Wie mache ich die Änderung dauerhaft?

 

[Fuhrmann]

Der Eintrag müsste wohl in der opera.ini erfolgen.
Hab sie gerade mal mit droidedit angeschaut, aber keine Zeile gesehen, in die man was eintragen o ändern kann.
Steht jedenfalls in \data\data\com.opera.browser.classic\opera.
Alternativ auch einfach opera:config in die adresszeile eingeben.
Wo aber die Änderung erfolgen soll, weiß ich noch nicht.
Arbeite eh lieber mit dem neuen Opera.

 

[jochen-01]

Der Eintrag müsste wohl in der opera.ini erfolgen.
Hab sie gerade mal mit droidedit angeschaut, aber keine Zeile gesehen, in die man was eintragen o ändern kann.
Steht jedenfalls in \data\data\com.opera.browser.classic\opera.

Schade. Für mich sieht auch keiner der wenigen Einträge danach aus.

Alternativ auch einfach opera:config in die adresszeile eingeben.
Wo aber die Änderung erfolgen soll, weiß ich noch nicht.

Das kannt ich noch garnicht. Auf anderen Geräten verwende ich Firefox. Aber auf dem Telefon unter Android taugt das nicht wirklich (zu hoher Speicherverbrauch...).

Danke jedenfalls für die Hinweise.