changeset 2:f9d4af74e3d0

convert firefox bookmarks file to xml, e.g. for making a new ~/u/New_Tabs.py
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 18 Aug 2026 15:38:14 +0100
parents 95740c6658a3
children d0fb285fd823
files bin/make_new_tabs.sh
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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 .