pasta/run.sh at ca2d807aab05b6a0ad1e139ca5ce9fc8cb611bf4 - pasta - Interbiznw Gitea: Git with a cup of tea

5 lines

92 B

Bash

Raw Blame History

 #!/bin/sh
 sage verify.sage .
 grep -Rn '.' verify-* |grep '^verify-.*:1:' |sed 's/:1:/ = /'