diff options
| author | Jim Lawson | 2015-07-24 17:17:01 -0700 |
|---|---|---|
| committer | Jim Lawson | 2015-07-24 17:17:01 -0700 |
| commit | e73450165c59d68b524689a7169e03140a41a1c5 (patch) | |
| tree | b7236f80d9abf60775ecbcefe6f7ca25557dce73 /bin/filter | |
| parent | 94893bad972ded686a2c68dd334aa40b92e3b85d (diff) | |
| parent | 3976145bb8c7595ad0f0a7fbb4ccbbd3030d8873 (diff) | |
Merge pull request #1 from ucb-bar/packagedir
Packagedir
Diffstat (limited to 'bin/filter')
| -rwxr-xr-x | bin/filter | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/filter b/bin/filter new file mode 100755 index 00000000..0038ba47 --- /dev/null +++ b/bin/filter @@ -0,0 +1,14 @@ +#!/usr/bin/env python +import fileinput +import sys + +for line in fileinput.input(): + for ch in line: + och = ch + if ch == '#': + och = '_' + elif ch == '$': + och = "::" + sys.stdout.write(och) + + |
