Okkk7744

import json, os, html
src = os.path.expanduser("~/Library/Application Support/Dia/User Data/Default/Bookmarks")
dst = os.path.expanduser("~/Desktop/bookmarks.html")

with open(src, "r", encoding="utf-8") as f:
    data = json.load(f)

lines = ['<!DOCTYPE NETSCAPE-Bookmark-file-1>',
         '<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">',
         '<TITLE>Bookmarks</TITLE><H1>Bookmarks</H1><DL><p>']