2026-03-12 20:23:15

This commit is contained in:
root
2026-03-12 21:23:47 +01:00
parent eab4b36eca
commit 93039b8489
3332 changed files with 699614 additions and 0 deletions

View File

@@ -0,0 +1,13 @@
#!/bin/sh
cat $1 | awk '
function p(str) { printf("%6d: %s\n", NR, str) ; return 0 }
/Now joining|Join order/{ p($0) }
/^Best::/{ x=1 ; p($0) }
(!/Best::/ && x ==1) { p($0) ; x=0 }
'