# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1767997877 0
# Node ID 6c04c30c95d06413f1b5d3370ea075e910d8cc02
# Parent  6c586bee6a5079b164e266d14179632271ebcf50
shrink working, probably, can we recover the data from it?

diff -r 6c586bee6a50 -r 6c04c30c95d0 lib/python/cc/lmh/shrink.py
--- a/lib/python/cc/lmh/shrink.py	Tue Dec 23 20:08:26 2025 +0000
+++ b/lib/python/cc/lmh/shrink.py	Fri Jan 09 22:31:17 2026 +0000
@@ -16,7 +16,9 @@
 
 with open(ifn,'rb') as f, open(ofn,'wb') as of:
   for l in f:
-    #of.write(l)
+    if l == b'\n':
+      of.write(l)
+      break
     (bb,od,oe) = l.rstrip().split(b':',2)
     (os1,os2)=bb[1:].split(b',')
     kl=int(os1)
@@ -45,5 +47,3 @@
     else:
       of.write(int.to_bytes(nli,4))
     of.write(b'\n')
-
-