Carpe diem et noctem!

Meine Kollege phbaer hat mich auf eine weitere sehr praktische Erweiterung für Firefox aufmerksam gemacht:

• Firebug
  

  Firebug integrates with Firefox to put a wealth of development tools at your fingertips while you browse. You can edit, debug, and monitor CSS, HTML, and JavaScript live in any web page…

Der Blog RainbowNet Blog startet die Aktion “Free Tibet” und fordert die Chinesische Regierung auf:

1. Dem illegal besetzten Tibet wenigstens eine Autonomie zuzusprechen
2. Der Dalai Lama wieder als religiöses Oberhaupt Tibets zuzulassen
3. Die Menschenrechte im Tibet zu wahren
4. Die räuberische Ausbeutung tibetischer Resourcen zu beenden

Ich schließe mich diesen Forderungen an: “One world, one dream, free tibet!”

Bei der Suche nach Material für unsere Robotik-Vorlesung bin ich auf Talking Robots gestossen. Dabei handelt es sich um einen sehr interessanten Podcast über Robotik und künstliche Intelligenz, der alle 2 Wochen erscheint.

Talking Robots is a podcast featuring interviews with high-profile professionals in Robotics and Artificial Intelligence for an inside view on the science, technology, and business of intelligent robotics.

Da mir mal wieder mein Firefox-Profil “kaputt” gegangen ist (Firefox hat keine Einstellungen gespeichert und immer nur mit Standardeinstellungen gestartet), musste ich mir mal wieder ein neues Profil anlegen. Das geht eigentlich schön schnell (einfach das alte Verzeichnis verschieben oder umbenennen). Allerdings fehlen dort dann die ganzen gesammelten Bookmarks und Passwörter. Ich habe aber die Erfahrung gemacht, dass die Dateien, in denen diese Daten gespeichert werden, eigentlich nie wirklich betroffen waren und diese somit sehr einfach vom alten in das neue Profil kopiert werden können. Dabei handelt es sich um folgende Dateien:

• key3.db – die Schlüsseldatenbank
• bookmarks.html – diese Datei beinhaltet alle Bookmarks. Die Datei war bei einem vorherigen Profilverlust auch schon mal zerstört wurden. Aber es existiert dazu auch der Ordner bookmarksbackup, in dem jeden Tag eine Kopie der bookmarks.html abgelegt wird. Also einfach die letzte Kopie ins Profilverzeichnis kopieren und zu “bookmarks.html” umbenennen
• signons2.txt - Passwörter und Benutzerdaten (die Datei funktioniert nur mit zugehöriger key3.db)
• Weiterhin kann man Erfahrungsgemäß auch den Ordner searchplugins problemlos kopieren. Lediglich vom kopieren des extensions-Ordners rate ich ab. Die Erweiterungen haben bei mir häufiger auch Schaden davon getragen.

Dann muss man nur noch die Einstellungen vom Firefox nach Belieben anpassen und evt. seine Erweiterungen installieren.

Wenn ich schon dabei bin: Ich nutze zur Zeit eigentlich nur 2 Erweiterungen:

• Secure Login – eine sehr nützliche Login-Erweiterung, die es verhindert, dass an irgendwo automatisch angemeldet wird.
• Web Developer – eine sehr praktische Erweiterung für alle Webdesigner

Sehr eindrucksvolle Vorführung eines Roboter-Hundes….