File: gpflog

package info (click to toggle)
pari 2.17.3-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 24,508 kB
  • sloc: ansic: 281,184; sh: 861; perl: 420; yacc: 214; makefile: 162; f90: 88
file content (7 lines) | stat: -rwxr-xr-x 126 bytes parent folder | download | duplicates (17) 
1
2
3
4
5
6
7
 
#!/bin/sh
#
# Strip escape sequences from PARI log file.

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