/usr/share/doc/pari-gp/misc/gpflog

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

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

Generated by dwww version 1.15 on Sat Jun 15 03:01:58 CEST 2024.