@pc.net
die Frage ist, ob es einen Bookmarkmanager gibt, der sich auch in der Kommandozeile bedienen lässt und per Batch Job das Exportieren der Bookmarks in ein anderes Format unterstützt.
der von dir verlinkte Bookmarkmanager funktioniert leider (noch) nicht mit den neuersten Opera Versionen, bzw. hat er das vor 2-3 Wochen noch nicht getan (was mich leicht ärgerte)
ist nicht einfach, dass man die Bookmarks von Opera übernimmt
JetLinks
http://www.manfred-dahlhoff.de/JetLinks
AM-DeadLink
http://www.aignes.com/de/deadlink.htm
funktionierten, naja, teilweise, die persönliche Linkleiste muss man per Hand einstellen.