init

2025-09-05 17:16:26 +09:00
commit c54ef1903f
4947 changed files with 817291 additions and 0 deletions
@@ -0,0 +1,7 @@
+#!/bin/csh
+if ($#argv == 4) then
+  cat $1 | grep -nE "$2|$3" | grep $4
+else if ($#argv == 3) then
+  cat $1 | grep -nE "$2|$3"
+endif
+