Mercurial > hg > paul
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/ / /g;s/&/&/g' < "$1" |tr -s '\302\240' ' ' |tidy -asxml 2>/dev/null \ + |saxon97 - D:/lib/xml/bookmarks_to_xml.xsl|normXML -w |lxsort body div .
