# HG changeset patch
# User HackEso <hackeso@esolangs.org>
# Date 1563290171 0
# Node ID fb7d032ba453edda1c09c0535de8989b42ef3002
# Parent  0a849e80494838ab8cb0c68540a0728b2da2ae42
<wob_jonas> fetch bin/whatis https://hack.esolangs.org/get/bin/whatis

diff -r 0a849e804948 -r fb7d032ba453 bin/whatis
--- /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)
+