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