fix_hack
[
plain text
]
#!/bin/sh
sed -e 's/{\\ptt[ ]*\\char[ ]*'
"'"
'137}/_/g' <
"$1"
>
"@$1"
&& mv
"@$1"
$1