Merge remote-tracking branch 'origin/main'

1 files changed, 38 insertions, 0 deletions

diff --git a/.local/bin/weasel b/.local/bin/weasel
new file mode 100755
index 0000000..ce82ce3
--- /dev/null
+++ b/.local/bin/weasel
@@ -0,0 +1,38 @@
+#!/usr/bin/env bash
+
+weasels="many|various|very|fairly|several|extremely\
+    |exceedingly|quite|remarkably|few|surprisingly\
+    |mostly|largely|huge|tiny|((are|is) a number)\
+    |excellent|interestingly|significantly\
+    |substantially|clearly|vast|relatively|completely"
+
+wordfile=""
+
+# Check for an alternate weasel file
+if [ -f "$HOME"/etc/words/weasels ]; then
+    wordfile="$HOME/etc/words/weasels"
+fi
+
+if [ -f "$WORDSDIR"/weasels ]; then
+    wordfile="$WORDSDIR/weasels"
+fi
+
+if [ -f words/weasels ]; then
+    wordfile="words/weasels"
+fi
+
+if [ ! "$wordfile" = "" ]; then
+    weasels="xyzabc123"
+    for w in $(cat $wordfile); do
+        weasels="$weasels|$w"
+    done
+fi
+
+if [ "$1" = "" ]; then
+    echo "usage: $(basename "$0") <file> ..."
+    exit
+fi
+
+grep -E -i -n --color "\\b($weasels)\\b" "$*"
+
+exit $?