File size: 80 Bytes
d42d8ea |
1 2 3 4 5 6 7 |
#!/bin/bash
#
# USAGE postprocess.sh < input > output
#
sed 's/ //g;s/▁/ /g'
|
d42d8ea |
1 2 3 4 5 6 7 |
#!/bin/bash
#
# USAGE postprocess.sh < input > output
#
sed 's/ //g;s/▁/ /g'
|