Sonntag, 15. April 2007
ies4linux: Probleme mit IE 5 und 5.5
ies4linux automatisiert die Installation des Internet Explorer unter Linux und nimmt dem Benutzer die Konfiguration von Wine ab. Ein ausgefallener Server und ein kleines Problem bei der Fehlerbehandlung hindern es jedoch im Moment daran, den Internet Explorer in den Version 5 & 5.5 herunterzuladen.
Problem
Der Server, von dem die für die Installation benötigten Dateien heruntergeladen werden sollen, scheint im Moment nicht erreichbar zu sein. Zwar hat der Entwickler Sergio Lopez in seinem Skript zwei alternative Spiegel vorgesehen, aufgrund eines Versäumnisses beim Start des Downloadmanagers Wget wird der alternative Server aber leider erst nach einer Viertelstunde gestartet.
Lösung
Um das Problem zu lösen, genügt eine kleine Modifikation der Datei lib/download.sh. Dem Aufruf von wget in Zeile 26 müssen lediglich die Parameter "-t 1 -T 5" hinzugefügt werden. Das kleine T bestimmt dabei, wie oft versucht werden sollen, die Datei herunterzuladen (tries). Das große T gibt an, wie lange gewartet werden soll, bis der Versuch abgebrochen wird (timeout). Gerade bei letzterem wird ies4linux zum Opfer dem Standardwerts von wget. Wget wartet eine Viertelstunde bevor versucht wird, einen alternativen Spiegel zu benutzen. Dies verzögert die Installation und führt in den meisten Fällen wahrscheinlich dazu, dass der Benutzer die Installation abbricht.
Ich habe dem Entwickler eine eMail mit einer Erläuterung und einem Patch geschickt und hoffe, dass er das Problem so schnell wie möglich beheben kann und es Webdesigner damit wieder so einfach wie möglich gemacht wir, ihre Seiten auch unter Linux mit dem Internet Explorer zu testen.
Abonnieren
Kommentare zum Post (Atom)
1 Kommentar:
Be intellectual enough to see that your аԁ does not go on аir
on a unseemly shoω ; a Ϲhristian boοκ going οn аіr on a show that is аbout handlіng seхual iѕsues woulԁ be rіdіculous.
Тhe broadcasting prοcesѕ iѕ not сompliсated as аll the equipments essеntіal
аre easіlу аvailable but ωith new іdeas coming uρ eѵеry ԁay, new
геquirеments rіѕe with nеw cгіtеria of transmission like Dab Dіgital Radio аnd DRM.
Τhеsе іncluԁe the artіst-bгanԁed music channеlѕ
such аs The Grateful Dead Channel, Eminеm's Shade 45, Jimmy Buffett's Radio Margaritaville; thегe
is even the classiсal muѕiс Mеtroρolitаn
Opеra Radio сhannel.
Fееl frее to visіt my blog:
Finding Quick Products In radio
Kommentar veröffentlichen