#!/bin/sh
#
# Strip escape sequences from PARI log file.

for i in "$@"; do
  sed -e 's/[^]*//g; s/\[[0-9;]*m//g' $i
done


syntax highlighted by Code2HTML, v. 0.9.1