Installationshandbuch:Opera

Diese Seite sollte nochmals überarbeitet werden. Eine Begründung befindet sich in der Regel unter Diskussion (oben).

Opera

Bezug und Installation

Wer sonst keine Quelle für eine aktuelle Operaversion hat wird auf www.opera.com fündig. Dort findet man auch die Versionen für ausgefallenere Betriebssysteme. Linux-Nutzer sollten nicht vergessen, auch die zugehörige Sprachdatei herunterzuladen und sie ins angegebene Verzeichnis zu kopieren.

Bei der Installation ist eine lokale Installation auf den Clients unproblematisch. Eine Installation auf einem schreibgeschützten Verzeichnis auf dem Server kann funktionieren, muss aber nicht. Während Opera 6.05 für Windows hier keine Probleme machte, war Opera 7.54 für Linux in einem Netzwerk auf dem Server installierbar, in einem beinahe gleichen anderen Netzwerk funkionierte es nicht.

Einstellungen

Leider hat sich der Ort für die Einstellungen bei den verschiedenen Opera-Versionen geändert. Die Anleitung gilt für Opera 8.0 für Linux. Bei anderen Versionen gehe man entsprechend vor.

Unter Extras findet man den Menuepunkt Einstellungen. Dort ist im Reiter Advanced der Punkt Network auszuwählen. Hier ist im Punkt Proxyserver für die Protokolle HTTP, HTTPS und FTP (Häkchen setzen) als Server jeweils arktur und als Port 8080 einzutragen. Auch der Punkt Proxyserver für folgende Adressen nicht benutzen ist zu markieren und im dortigen Textfeld ist arktur einzutragen. Anschließend sind die Einstellungen mit OK zu bestätigen. Im Punkt History sollte jetzt noch der Festplattencache ausgeschaltet werden. Nach der Bestätigung mit OK sollte man ins Internet können.

Die Umstellung auf Deutsch erfolgt über Extras / Einstellungen / General /Language /Details / Auswählen.

Spezielle Hinweise für Schulen

Für Opera gibt es immer wieder kostenlos beim Hersteller Lizenzschlüssel für Schulen. Mit diesen kann dann das störende Werbebanner deaktiviert werden. Da bei neueren Windowsversionen und bei Linux jeder Benutzer seine privaten Einstellungen (proxy, cache, Lizenzschlüssel) hat empfiehlt es sich, diese Einstellungen für einen Beispielnutzer komplett vorzunehmen und dann diese privaten Einstellungen auf alle anderen Benutzer zu kopieren. Dies kann für neue Benutzer durch eine entsprechende Datei in /etc/skel geschehen. Da die Vorgehensweise hier ähnlich ist wie bei der Mozilla- oder Firefox-Installation soll für Details auf diese verwiesen werden.

--Gruhler 11:51, 4. Jun 2005 (CEST)