.crashsource

Nach dem Update auf Ubuntu 9.10 Karmic Koala funktionierte bei mir wxMaxima nicht mehr. Beim Versuch die Wurzel aus zwei auszurechnen, quitierte wxMaxima das mit der Fehlermeldung:
(%i1) sqrt(2);
Universal error handler called recursively (:ERROR NIL
CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
“”
“Couldn’t protect”)
Universal error handler called recursively (:ERROR NIL
CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
“” “Couldn’t protect”)
Maxima encountered a Lisp error:
Error in CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER [or a callee]: Caught fatal error [memory may be damaged]
Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.
Anscheinend handelt es sich dabei um ein Problem mit der neuen GCC-Version. So zumindest wird das in der Fehlerbeschreibung bei launchpad.net vermutet.

Abhilfe hilft es zunaechst Maxima zu deinstallieren. Danach laed man sich von Hand die Pakete Maxima (Version: 5.17.1-1) und wxMaxima (Version: 0.8.3a-2) von Debian Sid herunter und installiert zuerst manuell Maxima und im Anschluss wxMaxima. Die Hinweise auf neuere oder aeltere Pakete in den normalen Paketquellen muss man dabei ignorieren. Danach sollte wxMaxima wieder laufen wie gewohnt und der Fehler behoben sein. Wann die offiziellen Paketquellen allerdings die richtigen Pakete liefern, kann ich auch nicht genau sagen. Derzeit jedenfalls funktionieren diese nicht.

Will man unter Ubuntu mit VirtualBox auf ein USB-Geraet zugreifen, so bedarf es einiger Schritte um VirtualBox korrekt einzurichten.
Zunaechst einmal sei gesagt, dass VirtualBox OSE dafuer nicht ausreicht. Das heisst konkret, dass die Paketquellen von Ubuntu erweitert werden muessen. Sun Microsystems, Entwickler von VirtualBox, bietet dazu fuer auf Debian basierende Betriebssysteme (dazu zaehlt auch Ubuntu) dazu folgende Moeglichkeit:
wget -q http://download.virtualbox.org/virtualbox/debian/sun_vbox.asc -O- | sudo apt-key add -
Diese Zeile sorgt dafuer, dass Ubuntu die Fremdquelle, welche von Sun bereit gestellt wird, einbindet. Achtung: Fremdpakete koennen das System gefaehrden. Bitte installiere nur was du fuer sicher erachtest!

Nachdem die Quelle eingebunden wurde ist es uns moeglich VirtualBox 3.0 zu installieren. Dazu tippst du folgende Zeile in ein Terminal:
apt-get install virtualbox-3.0
Bei Rueckfragen der Installation kannst du die voreingestellten Antworten benutzen. Diese sorgen beispielsweise dafuer, dass der alte VirtualBox-Treiber korrekt deinstalliert wird, usw.

Danach startest du VirtualBox und wirst ggf. gefragt ob du die alten Einstellungen uebernehmen willst. Dies ist vermutlich erwuenscht, bei mir war es das jedenfalls.
Nun bist du bezueglich der Software auf dem neusten Stand. Es gilt nun noch den USB-Support zu aktivieren. Dazu klickst du im VirtualBox-Hauptfenster mit der rechten Maustaste auf dein gewuenschtes Betriebssystem, welches USB-Support erhalten soll, waehlst “Aendern…” und aktivierst dann unter “USB” die Optionen “USB-Controller aktivieren” und “USB-2.0-Controller aktivieren”. Damit weiss VirtualBox, dass dieses Betriebssystem generell Zugriff bekommen soll auf die USB-Geraete.

Nun musst du noch Ubuntu so einrichten, dass du als User die Rechte hast unter VirtualBox USB-Geraetschaften einzubinden. Dazu rufst du deine User- und Gruppenverwaltung auf und traegst dich selbst in der Gruppe “vboxusers” ein. Nur wenn du Mitglied dieser Gruppe bist wirst du spaeter USB-Geraete einbinden koennen. Merke dir ausserdem die Gruppennummer. Bei meinem System ist das die Nummer 124.
Nachdem du nun Teil der Gruppe bist, bist du fast schon fertig. Es folgt nun noch eine kleine Aenderung der Datei /etc/fstab. Du musst diese Datei noch um folgenden Eintrag erweitern:
none /proc/bus/usb usbfs devgid=124,devmode=664 0 0
ACHTUNG: Die Nummer 124 steht hier fuer die Gruppennummer der Gruppe “vboxusers”, welche wir vorhin bearbeitet haben. Sollte diese Gruppennummer bei dir anders sein, so ersetze sie bitte durch deine Gruppennummer.
Alternativ kannst du die Gruppennummer auch mittels dem Befehl grep vboxusers /etc/group abfragen.
Das Ergebnis bei mir ist beispielsweise “vboxusers:*:124:fabi”, wobei 124 fuer die Gruppennummer der Gruppe steht.

Nun musst du in der Konsole nur noch mount -a ausfuehren, damit die Datei /etc/fstab neu eingelesen wird. Nachdem das geschehen ist kannst in VirtualBox ueber das Menu -> Geraete -> USB-Geraete deine Geraetschaften aktivieren oder deaktivieren und damit in dein Gastsystem einbinden, oder eben nicht. Ganz wie du willst.

Ich wuensche dir viel Spass dabei!