title: Replace fullwidth punctuation characters with normal width equivalents
body: <p><code>file1</code> contains some <code>：</code>s (that's fullwidth) I'd like to turn into regular <code>:</code>s (that's our regular colon). How do I do this in bash? Perhaps a python script?</p>