7118f25d5a
Useful because the context in checkfiles makes them easier to edit than plain logfiles are.
3 lines
107 B
Bash
Executable file
3 lines
107 B
Bash
Executable file
#!/bin/sh
|
|
# Turn a non-oldstyle checkfile on stdin into an equivalent log on stdout.
|
|
sed -n -e '/> /s///p'
|