# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1693390254 -3600
# Node ID df231c95e4aa57c07bada534be3ac7cd1729dcfe
# Parent  3a2ae6057242ee63d6d54f51a5036827b78432de
final keystroke fixes,
note _lacks_ multi-www fix, for which see sort_date.py

diff -r 3a2ae6057242 -r df231c95e4aa bin/fix_key.py
--- a/bin/fix_key.py	Mon Aug 28 21:07:43 2023 +0100
+++ b/bin/fix_key.py	Wed Aug 30 11:10:54 2023 +0100
@@ -9,6 +9,7 @@
 #                / "*" / "+" / "," / ";" / "="
 # But # _is_ escaped in Java surt results
 #  and additionally " \ : < = > ? \ ^  _ ` { | } are not
+# Note also that quote already does _not_ quote - . / _ ~
 
 # Also, Java surt strips _all_ leading 'www.',
 #  where python3 surt only strips the first one.
@@ -20,7 +21,7 @@
     if '%' in l:
       (key,wt,ts)=l.split('\t')
       sys.stdout.write(quote(unquote(key,errors='percent'),
-                             safe='!"$&\'()*+,/:;<=>?@[\\]^_`{|}').lower())
+                             safe='!"$&\'()*+,:;<=>?@[\\]^`{|}').lower())
       sys.stdout.write('\t')
       sys.stdout.write(wt)
       sys.stdout.write('\t')