--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/whatis	Tue Jul 16 15:16:11 2019 +0000
@@ -0,0 +1,19 @@
+#!/usr/bin/python3
+import sys, re
+if len(sys.argv) <= 1:
+    print("whatis what?")
+    sys.exit(1)
+else:
+    argfoldv = []
+    for arg in sys.argv[1:]:
+        argfoldv.append(arg.casefold())
+    with open("/hackenv/share/whatis", errors="surrogateescape") as whatisdb:
+        for line in whatisdb:
+            parts = re.match(r"([^()]+)\(([0-9A-Z_a-z]+)\)", line)
+            if parts:
+                match = False
+                for argfold in argfoldv:
+                    match = match or argfold == parts[1].casefold()
+                if match:
+                    sys.stdout.write(line)
+