Skip to content

Commit 9cd44f0

Browse files
authored
Update README.md
1 parent c0e4d23 commit 9cd44f0

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -57,4 +57,6 @@ We can see there are actually 6 distinguished left-hand sides in zbMATH:
5757
If you have `parallel` installed, you can speed up the process. For example:
5858
```bash
5959
find . -type f | parallel 'grep "mrow(mi:E,mo:=,mrow(mi:m.*;[[:digit:]]*;..*;[3456789]$" {}' 2>/dev/null | awk '{print $1}'
60+
61+
find . -type f | xargs -n 1 -P 32 gawk 'match($0, /^"mrow\(mi:E,mo:=,mrow\(mi:m.*;[[:digit:]]+;[[:digit:]]+;[[:digit:]][[:digit:]]+$/, arr) {print $1}'
6062
```

0 commit comments

Comments
 (0)