1.1 ! noro 1: #!/bin/sh ! 2: # ! 3: # Strip escape sequences from PARI log file. ! 4: ! 5: for i in "$@"; do ! 6: sed -e 's/&[^]*//g; s/\[[0-9;]*m//g' $i ! 7: done