build scripts

1 files changed, 11 insertions, 0 deletions

diff --git a/bin/filter.cpp b/bin/filter.cpp
new file mode 100644
index 00000000..ce67b8e3
--- /dev/null
+++ b/bin/filter.cpp
@@ -0,0 +1,11 @@
+#include <stdio.h>
+
+int main (int argc, char* argv[]) {
+  int c;
+  for (;;) {
+    c = getchar();
+    if (c == EOF) break;
+    char nc = (c == '$' || c == '#') ? '_' : c;
+    putchar(nc);
+  } 
+}