# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1787063894 -3600
# Node ID f9d4af74e3d054cf3cc541260506f6d59a0c52e2
# Parent  95740c6658a3cd08abe948ea3d57993164a93e11
convert firefox bookmarks file to xml, e.g. for making a new ~/u/New_Tabs.py

diff -r 95740c6658a3 -r f9d4af74e3d0 bin/make_new_tabs.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/make_new_tabs.sh	Tue Aug 18 15:38:14 2026 +0100
@@ -0,0 +1,4 @@
+#!/bin/bash
+# Usage: make_new_tabs.sh ~/u/bookmarks-from-saved-closed-tab-groups_... > ~/New_Tabs.xml
+sed 's/&nbsp;/ /g;s/&/&amp;/g' < "$1" |tr -s '\302\240' ' ' |tidy -asxml 2>/dev/null \
+ |saxon97 - D:/lib/xml/bookmarks_to_xml.xsl|normXML -w |lxsort body div .