diff options
Diffstat (limited to '')
| -rwxr-xr-x | mantools/check-double-history | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mantools/check-double-history b/mantools/check-double-history new file mode 100755 index 0000000..f65eae0 --- /dev/null +++ b/mantools/check-double-history @@ -0,0 +1,7 @@ +#!/bin/sh + +# Finds double words the HISTORY file, starting with 2022. + +LANG=C; export LANG + +sed '1,/^2022/d' HISTORY | mantools/find-double | grep -F -vxf proto/stop.double-history |