Carpe diem et noctem!

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