1 files changed, 6 insertions, 2 deletions
diff --git a/bin/filter.cpp b/bin/filter.cpp
index ce67b8e3..4e805a48 100644
--- a/bin/filter.cpp
+++ b/bin/filter.cpp
@@ -5,7 +5,11 @@ int main (int argc, char* argv[]) {
   for (;;) {
     c = getchar();
     if (c == EOF) break;
-    char nc = (c == '$' || c == '#') ? '_' : c;
-    putchar(nc);
+    if (c == '#')
+      putchar('_');
+    else if (c == '$') {
+      putchar(':'); putchar(':');
+    } else
+      putchar(c);
   } 
 }