diff options
Diffstat (limited to '')
| -rwxr-xr-x | mantools/find-double | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/mantools/find-double b/mantools/find-double new file mode 100755 index 0000000..371663e --- /dev/null +++ b/mantools/find-double @@ -0,0 +1,13 @@ +#!/bin/sh + +sed 's/[^A-Z0-9a-z_][^A-Z0-9a-z_]*/ /g' "$@" | awk ' + { for (i = 1; i <= NF; i++) { + if (length($i) > 1 && $(i) == last) { + if (i == 1) + printf("%s ", last) + print + } + last = $(i) + } + } +' |